callback( { "result":{ "query":":facetid:toc:\"db/journals/sigplan/sigplan18.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.75" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"74", "@dc":"74", "@oc":"74", "@id":"43482974", "text":":facetid:toc:db/journals/sigplan/sigplan18.bht" } }, "hits":{ "@total":"74", "@computed":"74", "@sent":"74", "@first":"0", "hit":[{ "@score":"1", "@id":"7068063", "info":{"authors":{"author":[{"@pid":"03/4138","text":"Arol Ambler"},{"@pid":"12/195","text":"Robert Trawick"}]},"title":"Chatin's Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"37-38","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/AmblerT83","doi":"10.1145/948101.948102","ee":"https://doi.org/10.1145/948101.948102","url":"https://dblp.org/rec/journals/sigplan/AmblerT83"}, "url":"URL#7068063" }, { "@score":"1", "@id":"7068064", "info":{"authors":{"author":[{"@pid":"15/4904","text":"Sergio Antoy"},{"@pid":"70/904","text":"Giuliana Dettori"}]},"title":"Is Pascal suitable for GKS?","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"11-14","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/AntoyD83","doi":"10.1145/948249.948250","ee":"https://doi.org/10.1145/948249.948250","url":"https://dblp.org/rec/journals/sigplan/AntoyD83"}, "url":"URL#7068064" }, { "@score":"1", "@id":"7068065", "info":{"authors":{"author":{"@pid":"33/6062","text":"Hans W. Barz"}},"title":"Implementing Semaphores by Binary Semaphores.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"39-45","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Barz83","doi":"10.1145/948101.948103","ee":"https://doi.org/10.1145/948101.948103","url":"https://dblp.org/rec/journals/sigplan/Barz83"}, "url":"URL#7068065" }, { "@score":"1", "@id":"7068066", "info":{"authors":{"author":{"@pid":"07/5447","text":"Daniel M. Berry"}},"title":"A New Methodology for Generating Test Cases for a Programming Language Compiler.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"46-56","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Berry83","doi":"10.1145/948101.948104","ee":"https://doi.org/10.1145/948101.948104","url":"https://dblp.org/rec/journals/sigplan/Berry83"}, "url":"URL#7068066" }, { "@score":"1", "@id":"7068067", "info":{"authors":{"author":{"@pid":"70/3811","text":"K. S. Bhaskar"}},"title":"How object-oriented is your system?","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"8-11","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Bhaskar83","doi":"10.1145/988175.988177","ee":"https://doi.org/10.1145/988175.988177","url":"https://dblp.org/rec/journals/sigplan/Bhaskar83"}, "url":"URL#7068067" }, { "@score":"1", "@id":"7068068", "info":{"authors":{"author":{"@pid":"83/4473","text":"David E. Boddy"}},"title":"Implementing data abstractions and monitors in UCSD Pascal.","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"15-24","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Boddy83","doi":"10.1145/948249.948251","ee":"https://doi.org/10.1145/948249.948251","url":"https://dblp.org/rec/journals/sigplan/Boddy83"}, "url":"URL#7068068" }, { "@score":"1", "@id":"7068069", "info":{"authors":{"author":[{"@pid":"273/4496","text":"F. Dave Boswell"},{"@pid":"273/4367","text":"Michael J. Carmody"},{"@pid":"07/857","text":"Trevor R. Grove"}]},"title":"A String Extension for Pascal.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"57-61","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/BoswellCG83","doi":"10.1145/948101.948105","ee":"https://doi.org/10.1145/948101.948105","url":"https://dblp.org/rec/journals/sigplan/BoswellCG83"}, "url":"URL#7068069" }, { "@score":"1", "@id":"7068070", "info":{"authors":{"author":{"@pid":"86/62","text":"Stowe Boyd"}},"title":"Modular C.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"45-54","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Boyd83","doi":"10.1145/948176.948178","ee":"https://doi.org/10.1145/948176.948178","url":"https://dblp.org/rec/journals/sigplan/Boyd83"}, "url":"URL#7068070" }, { "@score":"1", "@id":"7068071", "info":{"authors":{"author":{"@pid":"164/1805","text":"E. J. Brown"}},"title":"On the application of Rothon diagrams to data abstraction.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"17-24","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Brown83","doi":"10.1145/988193.988195","ee":"https://doi.org/10.1145/988193.988195","url":"https://dblp.org/rec/journals/sigplan/Brown83"}, "url":"URL#7068071" }, { "@score":"1", "@id":"7068072", "info":{"authors":{"author":{"@pid":"b/AlanBurns","text":"Alan Burns 0001"}},"title":"Enhanced input/output on Pascal.","venue":"ACM SIGPLAN Notices","volume":"18","number":"11","pages":"24-33","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Burns83","doi":"10.1145/988186.988188","ee":"https://doi.org/10.1145/988186.988188","url":"https://dblp.org/rec/journals/sigplan/Burns83"}, "url":"URL#7068072" }, { "@score":"1", "@id":"7068073", "info":{"authors":{"author":[{"@pid":"17/1259","text":"Jacques Calmet"},{"@pid":"164/1817","text":"Robert-Michel di Scala"}]},"title":"Pascal as host language of computer algebra systems.","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"15-24","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/CalmetS83","doi":"10.1145/988216.988218","ee":"https://doi.org/10.1145/988216.988218","url":"https://dblp.org/rec/journals/sigplan/CalmetS83"}, "url":"URL#7068073" }, { "@score":"1", "@id":"7068074", "info":{"authors":{"author":[{"@pid":"95/2139","text":"Giovanni Cantone"},{"@pid":"51/933","text":"Aniello Cimitile"},{"@pid":"75/5635","text":"Lucio Sansone"}]},"title":"Complexity in Program Schemes: The Characteristic Polynomial.","venue":"ACM SIGPLAN Notices","volume":"18","number":"3","pages":"22-31","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/CantoneCS83","doi":"10.1145/988209.988211","ee":"https://doi.org/10.1145/988209.988211","url":"https://dblp.org/rec/journals/sigplan/CantoneCS83"}, "url":"URL#7068074" }, { "@score":"1", "@id":"7068075", "info":{"authors":{"author":{"@pid":"99/3532","text":"Rommert J. Casimir"}},"title":"Collections of variables.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"26-30","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Casimir83","doi":"10.1145/988227.988229","ee":"https://doi.org/10.1145/988227.988229","url":"https://dblp.org/rec/journals/sigplan/Casimir83"}, "url":"URL#7068075" }, { "@score":"1", "@id":"7068076", "info":{"authors":{"author":[{"@pid":"c/JoeCelko","text":"Joe Celko"},{"@pid":"80/1713","text":"John S. Davis"},{"@pid":"85/5397","text":"John Mitchell"}]},"title":"A Demonstration of Three Requirements Language Systems.","venue":"ACM SIGPLAN Notices","volume":"18","number":"1","pages":"9-14","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/CelkoDM83","doi":"10.1145/948093.948094","ee":"https://doi.org/10.1145/948093.948094","url":"https://dblp.org/rec/journals/sigplan/CelkoDM83"}, "url":"URL#7068076" }, { "@score":"1", "@id":"7068077", "info":{"authors":{"author":[{"@pid":"c/StefanoCeri","text":"Stefano Ceri"},{"@pid":"c/SCrespiReghizzi","text":"Stefano Crespi-Reghizzi"}]},"title":"Relational data bases in the design of program construction systems.","venue":"ACM SIGPLAN Notices","volume":"18","number":"11","pages":"34-44","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/CeriC83","doi":"10.1145/988186.988189","ee":"https://doi.org/10.1145/988186.988189","url":"https://dblp.org/rec/journals/sigplan/CeriC83"}, "url":"URL#7068077" }, { "@score":"1", "@id":"7068078", "info":{"authors":{"author":{"@pid":"63/5994","text":"James R. Comer"}},"title":"An experimental natural-language processor for generating data type specifications.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"25-33","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Comer83","doi":"10.1145/988193.988196","ee":"https://doi.org/10.1145/988193.988196","url":"https://dblp.org/rec/journals/sigplan/Comer83"}, "url":"URL#7068078" }, { "@score":"1", "@id":"7068079", "info":{"authors":{"author":{"@pid":"74/5073","text":"Brad J. Cox"}},"title":"The Object Oriented Pre-Compiler.","venue":"ACM SIGPLAN Notices","volume":"18","number":"1","pages":"15-22","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Cox83","doi":"10.1145/948093.948095","ee":"https://doi.org/10.1145/948093.948095","url":"https://dblp.org/rec/journals/sigplan/Cox83"}, "url":"URL#7068079" }, { "@score":"1", "@id":"7068080", "info":{"authors":{"author":{"@pid":"24/5814","text":"Karel Culík"}},"title":"On Formal and Informal Proofs for Program Correctness.","venue":"ACM SIGPLAN Notices","volume":"18","number":"1","pages":"23-28","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Culik83","doi":"10.1145/948093.948096","ee":"https://doi.org/10.1145/948093.948096","url":"https://dblp.org/rec/journals/sigplan/Culik83"}, "url":"URL#7068080" }, { "@score":"1", "@id":"7068081", "info":{"authors":{"author":{"@pid":"21/5646","text":"Joëlle Despeyroux"}},"title":"An algebraic specification of a Pascal compiler.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"34-48","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Despeyroux83","doi":"10.1145/988193.988197","ee":"https://doi.org/10.1145/988193.988197","url":"https://dblp.org/rec/journals/sigplan/Despeyroux83"}, "url":"URL#7068081" }, { "@score":"1", "@id":"7068082", "info":{"authors":{"author":{"@pid":"16/3529","text":"W. M. Evangelist"}},"title":"Relationships among computational, software, and intuitive complexity.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"57-59","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Evangelist83","doi":"10.1145/988193.988199","ee":"https://doi.org/10.1145/988193.988199","url":"https://dblp.org/rec/journals/sigplan/Evangelist83"}, "url":"URL#7068082" }, { "@score":"1", "@id":"7068083", "info":{"authors":{"author":{"@pid":"15/6534","text":"Elfriede Fehr"}},"title":"The "Simplest Functional Programming Language" is neither Simple nor Functional.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"55-57","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Fehr83","doi":"10.1145/948176.948179","ee":"https://doi.org/10.1145/948176.948179","url":"https://dblp.org/rec/journals/sigplan/Fehr83"}, "url":"URL#7068083" }, { "@score":"1", "@id":"7068084", "info":{"authors":{"author":{"@pid":"72/444","text":"Harry Feldmann"}},"title":"Acceptive grammars.","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"25-44","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Feldmann83","doi":"10.1145/988216.988219","ee":"https://doi.org/10.1145/988216.988219","url":"https://dblp.org/rec/journals/sigplan/Feldmann83"}, "url":"URL#7068084" }, { "@score":"1", "@id":"7068085", "info":{"authors":{"author":{"@pid":"f/RAFinkel","text":"Raphael A. Finkel"}},"title":"Run-time Print Values.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"62-64","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Finkel83","doi":"10.1145/948101.948106","ee":"https://doi.org/10.1145/948101.948106","url":"https://dblp.org/rec/journals/sigplan/Finkel83"}, "url":"URL#7068085" }, { "@score":"1", "@id":"7068086", "info":{"authors":{"author":{"@pid":"35/2566","text":"Harley Flanders"}},"title":"Coroutines in Pascal.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"49-56","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Flanders83","doi":"10.1145/988193.988198","ee":"https://doi.org/10.1145/988193.988198","url":"https://dblp.org/rec/journals/sigplan/Flanders83"}, "url":"URL#7068086" }, { "@score":"1", "@id":"7068087", "info":{"authors":{"author":{"@pid":"36/2802","text":"Rhys S. Francis"}},"title":"Containment Defines a Class of Recursive Data Structures.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"58-64","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Francis83","doi":"10.1145/948176.948180","ee":"https://doi.org/10.1145/948176.948180","url":"https://dblp.org/rec/journals/sigplan/Francis83"}, "url":"URL#7068087" }, { "@score":"1", "@id":"7068088", "info":{"authors":{"author":{"@pid":"72/1144","text":"Jason Gait"}},"title":"Command level software tools.","venue":"ACM SIGPLAN Notices","volume":"18","number":"11","pages":"45-53","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Gait83","doi":"10.1145/988186.988190","ee":"https://doi.org/10.1145/988186.988190","url":"https://dblp.org/rec/journals/sigplan/Gait83"}, "url":"URL#7068088" }, { "@score":"1", "@id":"7068089", "info":{"authors":{"author":{"@pid":"37/6160","text":"Gebhard Greiter"}},"title":"Comparing two definitions for the notion "data type".","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"45-49","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Greiter83","doi":"10.1145/988216.988220","ee":"https://doi.org/10.1145/988216.988220","url":"https://dblp.org/rec/journals/sigplan/Greiter83"}, "url":"URL#7068089" }, { "@score":"1", "@id":"7068090", "info":{"authors":{"author":{"@pid":"51/6685","text":"Josef Grosch"}},"title":"Type derivation graphs: a way to visualize the type building possibilities of programming languages.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"60-68","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Grosch83","doi":"10.1145/988193.988200","ee":"https://doi.org/10.1145/988193.988200","url":"https://dblp.org/rec/journals/sigplan/Grosch83"}, "url":"URL#7068090" }, { "@score":"1", "@id":"7068091", "info":{"authors":{"author":{"@pid":"164/1798","text":"Kurt Guntheroth"}},"title":"The new ANSI BASIC standard.","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"50-59","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Guntheroth83","doi":"10.1145/988216.988221","ee":"https://doi.org/10.1145/988216.988221","url":"https://dblp.org/rec/journals/sigplan/Guntheroth83"}, "url":"URL#7068091" }, { "@score":"1", "@id":"7068092", "info":{"authors":{"author":{"@pid":"87/3599","text":"Steven Gutfreund"}},"title":"Tracing offensive values from exceptions.","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"60-61","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Gutfreund83","doi":"10.1145/988216.988222","ee":"https://doi.org/10.1145/988216.988222","url":"https://dblp.org/rec/journals/sigplan/Gutfreund83"}, "url":"URL#7068092" }, { "@score":"1", "@id":"7068093", "info":{"authors":{"author":{"@pid":"29/5429","text":"Norman Hardy"}},"title":"Nested Scopes in Pascal and Algol 68.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"65","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Hardy83","doi":"10.1145/948176.948181","ee":"https://doi.org/10.1145/948176.948181","url":"https://dblp.org/rec/journals/sigplan/Hardy83"}, "url":"URL#7068093" }, { "@score":"1", "@id":"7068094", "info":{"authors":{"author":{"@pid":"164/1822","text":"James Harle"}},"title":"The proposed standard for Basic.","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"25-40","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Harle83","doi":"10.1145/948249.948252","ee":"https://doi.org/10.1145/948249.948252","url":"https://dblp.org/rec/journals/sigplan/Harle83"}, "url":"URL#7068094" }, { "@score":"1", "@id":"7068095", "info":{"authors":{"author":[{"@pid":"82/3913","text":"E. H. den Hertog"},{"@pid":"39/1434","text":"H. J. C. Gerbscheid"},{"@pid":"k/MartinLKersten","text":"Martin L. Kersten"}]},"title":"Do-Select Reconsidered.","venue":"ACM SIGPLAN Notices","volume":"18","number":"3","pages":"32-35","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/HertogGK83","doi":"10.1145/988209.988212","ee":"https://doi.org/10.1145/988209.988212","url":"https://dblp.org/rec/journals/sigplan/HertogGK83"}, "url":"URL#7068095" }, { "@score":"1", "@id":"7068096", "info":{"authors":{"author":{"@pid":"41/630","text":"Darrel C. Ince"}},"title":"A compatibility software tool for use with separately compiled languages.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"31-34","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Ince83","doi":"10.1145/988227.988230","ee":"https://doi.org/10.1145/988227.988230","url":"https://dblp.org/rec/journals/sigplan/Ince83"}, "url":"URL#7068096" }, { "@score":"1", "@id":"7068097", "info":{"authors":{"author":{"@pid":"j/ManfredJackel","text":"Manfred Jackel"}},"title":"Context Senitive Formatting.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"65-68","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Jackel83","doi":"10.1145/948101.948107","ee":"https://doi.org/10.1145/948101.948107","url":"https://dblp.org/rec/journals/sigplan/Jackel83"}, "url":"URL#7068097" }, { "@score":"1", "@id":"7068098", "info":{"authors":{"author":{"@pid":"67/2726","text":"Fahimeh Jalili"}},"title":"A general linear-time evaluator for attribute grammars.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"35-44","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Jalili83","doi":"10.1145/988227.988231","ee":"https://doi.org/10.1145/988227.988231","url":"https://dblp.org/rec/journals/sigplan/Jalili83"}, "url":"URL#7068098" }, { "@score":"1", "@id":"7068099", "info":{"authors":{"author":{"@pid":"70/1306","text":"Jan van Katwijk"}},"title":"A preprocessor for YACC or a poor man's approach to parsing attributed grammars.","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"12-15","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Katwijk83","doi":"10.1145/988175.988178","ee":"https://doi.org/10.1145/988175.988178","url":"https://dblp.org/rec/journals/sigplan/Katwijk83"}, "url":"URL#7068099" }, { "@score":"1", "@id":"7068100", "info":{"authors":{"author":{"@pid":"l/ArunLakhotia","text":"Arun Lakhotia"}},"title":"An improvement over: "an improvement over deeply nested IF-THEN-ELSE control structure".","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"41-43","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Lakhotia83","doi":"10.1145/948249.948253","ee":"https://doi.org/10.1145/948249.948253","url":"https://dblp.org/rec/journals/sigplan/Lakhotia83"}, "url":"URL#7068100" }, { "@score":"1", "@id":"7068101", "info":{"authors":{"author":{"@pid":"09/3907","text":"Alfred Laut"}},"title":"An Algebraic Specification of Pascal's File Type.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"66-68","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Laut83","doi":"10.1145/948176.948182","ee":"https://doi.org/10.1145/948176.948182","url":"https://dblp.org/rec/journals/sigplan/Laut83"}, "url":"URL#7068101" }, { "@score":"1", "@id":"7068102", "info":{"authors":{"author":{"@pid":"12/2472","text":"Leon S. Levy"}},"title":"A walk through AWK.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"69-85","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Levy83","doi":"10.1145/988193.988201","ee":"https://doi.org/10.1145/988193.988201","url":"https://dblp.org/rec/journals/sigplan/Levy83"}, "url":"URL#7068102" }, { "@score":"1", "@id":"7068103", "info":{"authors":{"author":{"@pid":"83/322","text":"Bruce J. MacLennan"}},"title":"Overview of Relational Programming.","venue":"ACM SIGPLAN Notices","volume":"18","number":"3","pages":"36-45","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/MacLennan83","doi":"10.1145/988209.988213","ee":"https://doi.org/10.1145/988209.988213","url":"https://dblp.org/rec/journals/sigplan/MacLennan83"}, "url":"URL#7068103" }, { "@score":"1", "@id":"7068104", "info":{"authors":{"author":{"@pid":"83/322","text":"Bruce J. MacLennan"}},"title":"Abstraction in the Intel iAPX-432 prototype systems implementation language.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"86-95","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/MacLennan83a","doi":"10.1145/988193.988202","ee":"https://doi.org/10.1145/988193.988202","url":"https://dblp.org/rec/journals/sigplan/MacLennan83a"}, "url":"URL#7068104" }, { "@score":"1", "@id":"7068105", "info":{"authors":{"author":{"@pid":"m/PhilipMachanick","text":"Philip Machanick"}},"title":"A note on C. S. Wetherell's "Problems with the Ada reference grammar".","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"44-45","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Machanick83","doi":"10.1145/948249.948254","ee":"https://doi.org/10.1145/948249.948254","url":"https://dblp.org/rec/journals/sigplan/Machanick83"}, "url":"URL#7068105" }, { "@score":"1", "@id":"7068106", "info":{"authors":{"author":{"@pid":"m/DavidMay","text":"David May 0001"}},"title":"OCCAM.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"69-79","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/May83","doi":"10.1145/948176.948183","ee":"https://doi.org/10.1145/948176.948183","url":"https://dblp.org/rec/journals/sigplan/May83"}, "url":"URL#7068106" }, { "@score":"1", "@id":"7068107", "info":{"authors":{"author":{"@pid":"20/6217","text":"B. A. E. Meekings"}},"title":"Style analysis of Pascal programs.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"45-54","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Meekings83","doi":"10.1145/988227.988232","ee":"https://doi.org/10.1145/988227.988232","url":"https://dblp.org/rec/journals/sigplan/Meekings83"}, "url":"URL#7068107" }, { "@score":"1", "@id":"7068108", "info":{"authors":{"author":{"@pid":"43/1549","text":"Gary H. Merrill"}},"title":"Proofs, program correctness, and software engineering.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"96-105","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Merrill83","doi":"10.1145/988193.988203","ee":"https://doi.org/10.1145/988193.988203","url":"https://dblp.org/rec/journals/sigplan/Merrill83"}, "url":"URL#7068108" }, { "@score":"1", "@id":"7068109", "info":{"authors":{"author":{"@pid":"164/1857","text":"Huub Mulders"}},"title":"Some observations on the in- and output in high-level languages.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"55-58","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Mulders83","doi":"10.1145/988227.988233","ee":"https://doi.org/10.1145/988227.988233","url":"https://dblp.org/rec/journals/sigplan/Mulders83"}, "url":"URL#7068109" }, { "@score":"1", "@id":"7068110", "info":{"authors":{"author":{"@pid":"39/300","text":"Paula S. Newman"}},"title":"IF-THEN-ELSE, again.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"106-111","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Newman83","doi":"10.1145/988193.988204","ee":"https://doi.org/10.1145/988193.988204","url":"https://dblp.org/rec/journals/sigplan/Newman83"}, "url":"URL#7068110" }, { "@score":"1", "@id":"7068111", "info":{"authors":{"author":{"@pid":"164/1859","text":"Edward G. Nilges"}},"title":"On bugs and swarms: towards a sociobiology of programming?","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"62-64","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Nilges83","doi":"10.1145/988216.988223","ee":"https://doi.org/10.1145/988216.988223","url":"https://dblp.org/rec/journals/sigplan/Nilges83"}, "url":"URL#7068111" }, { "@score":"1", "@id":"7068112", "info":{"authors":{"author":{"@pid":"13/1258","text":"Richard A. O'Keefe"}},"title":"Prolog compared with LISP?","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"46-56","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/OKeefe83","doi":"10.1145/948249.948255","ee":"https://doi.org/10.1145/948249.948255","url":"https://dblp.org/rec/journals/sigplan/OKeefe83"}, "url":"URL#7068112" }, { "@score":"1", "@id":"7068113", "info":{"authors":{"author":{"@pid":"o/DanROlsen","text":"Dan R. Olsen"}},"title":"A Subset Algorithm for Deterministic FSMs within Deterministic PDAs.","venue":"ACM SIGPLAN Notices","volume":"18","number":"1","pages":"29-34","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Olsen83","doi":"10.1145/948093.948097","ee":"https://doi.org/10.1145/948093.948097","url":"https://dblp.org/rec/journals/sigplan/Olsen83"}, "url":"URL#7068113" }, { "@score":"1", "@id":"7068114", "info":{"authors":{"author":{"@pid":"30/5617","text":"Olle Olsson"}},"title":"The memory usage of a LISP system: the Belady life-time function.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"112-119","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Olsson83","doi":"10.1145/988193.988205","ee":"https://doi.org/10.1145/988193.988205","url":"https://dblp.org/rec/journals/sigplan/Olsson83"}, "url":"URL#7068114" }, { "@score":"1", "@id":"7068115", "info":{"authors":{"author":{"@pid":"22/5987","text":"E. M. J. C. Van Oost"}},"title":"DUIF: A Data-Oriented Flowchart Environmemnt.","venue":"ACM SIGPLAN Notices","volume":"18","number":"2","pages":"69-75","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Oost83","doi":"10.1145/948101.948108","ee":"https://doi.org/10.1145/948101.948108","url":"https://dblp.org/rec/journals/sigplan/Oost83"}, "url":"URL#7068115" }, { "@score":"1", "@id":"7068116", "info":{"authors":{"author":{"@pid":"19/6000","text":"Karl L. Pentzlin"}},"title":"Discussion of Statement Labels; Proposal of a "Transfer/Junction" Construct as Alternative to "Goto".","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"80-81","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Pentzlin83","doi":"10.1145/948176.948184","ee":"https://doi.org/10.1145/948176.948184","url":"https://dblp.org/rec/journals/sigplan/Pentzlin83"}, "url":"URL#7068116" }, { "@score":"1", "@id":"7068117", "info":{"authors":{"author":{"@pid":"45/2646","text":"F. Teiyeira de Queiroz"}},"title":"The Next Control Structure That I Need.","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"82-85","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Queiroz83","doi":"10.1145/948176.948185","ee":"https://doi.org/10.1145/948176.948185","url":"https://dblp.org/rec/journals/sigplan/Queiroz83"}, "url":"URL#7068117" }, { "@score":"1", "@id":"7068118", "info":{"authors":{"author":{"@pid":"164/1800","text":"Edward Reid"}},"title":"Fighting the disease: more comments after Dijkstra and Tompking.","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"16-21","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Reid83","doi":"10.1145/988175.988179","ee":"https://doi.org/10.1145/988175.988179","url":"https://dblp.org/rec/journals/sigplan/Reid83"}, "url":"URL#7068118" }, { "@score":"1", "@id":"7068119", "info":{"authors":{"author":{"@pid":"164/1820","text":"Michael H. Rosenbloom"}},"title":"Deeply nested IF-THEN-ELSE's.","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"22-24","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Rosenbloom83","doi":"10.1145/988175.988180","ee":"https://doi.org/10.1145/988175.988180","url":"https://dblp.org/rec/journals/sigplan/Rosenbloom83"}, "url":"URL#7068119" }, { "@score":"1", "@id":"7068120", "info":{"authors":{"author":{"@pid":"s/MichaelLScott","text":"Michael Lee Scott"}},"title":"Messages vs. remote procedures is a false dichotomy.","venue":"ACM SIGPLAN Notices","volume":"18","number":"5","pages":"57-62","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Scott83","doi":"10.1145/948249.948256","ee":"https://doi.org/10.1145/948249.948256","url":"https://dblp.org/rec/journals/sigplan/Scott83"}, "url":"URL#7068120" }, { "@score":"1", "@id":"7068121", "info":{"authors":{"author":{"@pid":"29/1508","text":"Uri Shani"}},"title":"Should Program Editors not Abandon Text Oriented Commands?","venue":"ACM SIGPLAN Notices","volume":"18","number":"1","pages":"35-41","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Shani83","doi":"10.1145/948093.948098","ee":"https://doi.org/10.1145/948093.948098","url":"https://dblp.org/rec/journals/sigplan/Shani83"}, "url":"URL#7068121" }, { "@score":"1", "@id":"7068122", "info":{"authors":{"author":{"@pid":"09/5504","text":"David Spector"}},"title":"The Simplest Functional Programming Language.","venue":"ACM SIGPLAN Notices","volume":"18","number":"1","pages":"42-46","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Spector83","doi":"10.1145/948093.948099","ee":"https://doi.org/10.1145/948093.948099","url":"https://dblp.org/rec/journals/sigplan/Spector83"}, "url":"URL#7068122" }, { "@score":"1", "@id":"7068123", "info":{"authors":{"author":{"@pid":"09/5504","text":"David Spector"}},"title":"Language features to support reusability.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"59-61","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Spector83a","doi":"10.1145/988227.988234","ee":"https://doi.org/10.1145/988227.988234","url":"https://dblp.org/rec/journals/sigplan/Spector83a"}, "url":"URL#7068123" }, { "@score":"1", "@id":"7068124", "info":{"authors":{"author":{"@pid":"09/5504","text":"David Spector"}},"title":"Lexing and parsing Modula-2.","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"25-32","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Spector83b","doi":"10.1145/988175.988181","ee":"https://doi.org/10.1145/988175.988181","url":"https://dblp.org/rec/journals/sigplan/Spector83b"}, "url":"URL#7068124" }, { "@score":"1", "@id":"7068125", "info":{"authors":{"author":{"@pid":"18/794","text":"B. Srinivasan"}},"title":"Is nested control structure more complex?","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"120-121","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Srinivasan83","doi":"10.1145/988193.988206","ee":"https://doi.org/10.1145/988193.988206","url":"https://dblp.org/rec/journals/sigplan/Srinivasan83"}, "url":"URL#7068125" }, { "@score":"1", "@id":"7068126", "info":{"authors":{"author":[{"@pid":"25/2616","text":"Ikuo Takeuchi"},{"@pid":"09/2222","text":"Hiroshi G. Okuno"},{"@pid":"00/2482","text":"Nobuyasu Ohsato"}]},"title":"TAO: a harmonic mean of Lisp, Prolog and Smalltalk.","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"65-74","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/TakeuchiOO83","doi":"10.1145/988216.988224","ee":"https://doi.org/10.1145/988216.988224","url":"https://dblp.org/rec/journals/sigplan/TakeuchiOO83"}, "url":"URL#7068126" }, { "@score":"1", "@id":"7068127", "info":{"authors":{"author":{"@pid":"164/1849","text":"Jacques J. Tamine"}},"title":"On the use of tree-like structures to symplify measures of complexity.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"62-69","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Tamine83","doi":"10.1145/988227.988235","ee":"https://doi.org/10.1145/988227.988235","url":"https://dblp.org/rec/journals/sigplan/Tamine83"}, "url":"URL#7068127" }, { "@score":"1", "@id":"7068128", "info":{"authors":{"author":{"@pid":"34/6159","text":"David Taylor"}},"title":"An improvement to the 'if-then-else' and 'select' clauses, and some comments on Arun Lakhotias' an improvement over . . .","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"33-37","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Taylor83","doi":"10.1145/988175.988182","ee":"https://doi.org/10.1145/988175.988182","url":"https://dblp.org/rec/journals/sigplan/Taylor83"}, "url":"URL#7068128" }, { "@score":"1", "@id":"7068129", "info":{"authors":{"author":{"@pid":"47/4229","text":"Robert D. Tennent"}},"title":"An alternative to conformant-array parameters in Pascal.","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"38-43","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Tennent83","doi":"10.1145/988175.988183","ee":"https://doi.org/10.1145/988175.988183","url":"https://dblp.org/rec/journals/sigplan/Tennent83"}, "url":"URL#7068129" }, { "@score":"1", "@id":"7068130", "info":{"authors":{"author":{"@pid":"41/9576-1","text":"John R. Thompson 0001"}},"title":"The use and abuse of formal proofs.","venue":"ACM SIGPLAN Notices","volume":"18","number":"7","pages":"75-79","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Thompson83","doi":"10.1145/988216.988225","ee":"https://doi.org/10.1145/988216.988225","url":"https://dblp.org/rec/journals/sigplan/Thompson83"}, "url":"URL#7068130" }, { "@score":"1", "@id":"7068131", "info":{"authors":{"author":{"@pid":"58/2151","text":"Howard E. Tompkins"}},"title":"In Defense of Teaching Structured COBOL as Computer Science (or, Notes on being Sage Struck).","venue":"ACM SIGPLAN Notices","volume":"18","number":"4","pages":"86-94","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Tompkins83","doi":"10.1145/948176.948186","ee":"https://doi.org/10.1145/948176.948186","url":"https://dblp.org/rec/journals/sigplan/Tompkins83"}, "url":"URL#7068131" }, { "@score":"1", "@id":"7068132", "info":{"authors":{"author":{"@pid":"08/289","text":"Desiré Vermaak"}},"title":"PROGEN: A Programming Environment.","venue":"ACM SIGPLAN Notices","volume":"18","number":"3","pages":"46-47","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Vermaak83","doi":"10.1145/988209.988214","ee":"https://doi.org/10.1145/988209.988214","url":"https://dblp.org/rec/journals/sigplan/Vermaak83"}, "url":"URL#7068132" }, { "@score":"1", "@id":"7068133", "info":{"authors":{"author":{"@pid":"164/1862","text":"Joseph B. Weinman"}},"title":"Nestable bracketed comments.","venue":"ACM SIGPLAN Notices","volume":"18","number":"10","pages":"44-47","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Weinman83","doi":"10.1145/988175.988184","ee":"https://doi.org/10.1145/988175.988184","url":"https://dblp.org/rec/journals/sigplan/Weinman83"}, "url":"URL#7068133" }, { "@score":"1", "@id":"7068134", "info":{"authors":{"author":{"@pid":"164/1861","text":"R. Michael Wharton"}},"title":"A note on types and prototypes.","venue":"ACM SIGPLAN Notices","volume":"18","number":"12","pages":"122-126","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Wharton83","doi":"10.1145/988193.988207","ee":"https://doi.org/10.1145/988193.988207","url":"https://dblp.org/rec/journals/sigplan/Wharton83"}, "url":"URL#7068134" }, { "@score":"1", "@id":"7068135", "info":{"authors":{"author":{"@pid":"164/1867","text":"Rainer Woitok"}},"title":"Abstracting linked data structures using incremental records.","venue":"ACM SIGPLAN Notices","volume":"18","number":"11","pages":"54-63","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Woitok83","doi":"10.1145/988186.988191","ee":"https://doi.org/10.1145/988186.988191","url":"https://dblp.org/rec/journals/sigplan/Woitok83"}, "url":"URL#7068135" }, { "@score":"1", "@id":"7068136", "info":{"authors":{"author":{"@pid":"54/1700","text":"C. K. Yuen"}},"title":"The programmer as navigator: a discourse on program structure.","venue":"ACM SIGPLAN Notices","volume":"18","number":"9","pages":"70-78","year":"1983","type":"Journal Articles","access":"closed","key":"journals/sigplan/Yuen83","doi":"10.1145/988227.988236","ee":"https://doi.org/10.1145/988227.988236","url":"https://dblp.org/rec/journals/sigplan/Yuen83"}, "url":"URL#7068136" } ] } } } )