callback( { "result":{ "query":":facetid:toc:\"db/conf/popl/popl84.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"214.98" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"33", "@dc":"33", "@oc":"33", "@id":"43406846", "text":":facetid:toc:db/conf/popl/popl84.bht" } }, "hits":{ "@total":"33", "@computed":"33", "@sent":"33", "@first":"0", "hit":[{ "@score":"1", "@id":"7059536", "info":{"authors":{"author":{"@pid":"66/250","text":"Robert G. Bandes"}},"title":"Constraining-Unification and the Programming Language Unicorn.","venue":"POPL","pages":"106-110","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Bandes84","doi":"10.1145/800017.800521","ee":"https://doi.org/10.1145/800017.800521","url":"https://dblp.org/rec/conf/popl/Bandes84"}, "url":"URL#7059536" }, { "@score":"1", "@id":"7059537", "info":{"authors":{"author":[{"@pid":"d/LPeterDeutsch","text":"L. Peter Deutsch"},{"@pid":"00/2461","text":"Allan M. Schiffman"}]},"title":"Efficient Implementation of the Smalltalk-80 System.","venue":"POPL","pages":"297-302","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/DeutschS84","doi":"10.1145/800017.800542","ee":"https://doi.org/10.1145/800017.800542","url":"https://dblp.org/rec/conf/popl/DeutschS84"}, "url":"URL#7059537" }, { "@score":"1", "@id":"7059538", "info":{"authors":{"author":[{"@pid":"f/NissimFrancez","text":"Nissim Francez"},{"@pid":"k/DexterKozen","text":"Dexter Kozen"}]},"title":"Generalized Fair Termination.","venue":"POPL","pages":"46-53","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/FrancezK84","doi":"10.1145/800017.800515","ee":"https://doi.org/10.1145/800017.800515","url":"https://dblp.org/rec/conf/popl/FrancezK84"}, "url":"URL#7059538" }, { "@score":"1", "@id":"7059539", "info":{"authors":{"author":{"@pid":"24/5630","text":"Michal Grabowski"}},"title":"On Relative Completeness of Programming Logics.","venue":"POPL","pages":"258-261","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Grabowski84","doi":"10.1145/800017.800537","ee":"https://doi.org/10.1145/800017.800537","url":"https://dblp.org/rec/conf/popl/Grabowski84"}, "url":"URL#7059539" }, { "@score":"1", "@id":"7059540", "info":{"authors":{"author":{"@pid":"h/JosephYHalpern","text":"Joseph Y. Halpern"}},"title":"A Good Hoare Axiom System for an Algol-like Language.","venue":"POPL","pages":"262-271","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Halpern84","doi":"10.1145/800017.800538","ee":"https://doi.org/10.1145/800017.800538","url":"https://dblp.org/rec/conf/popl/Halpern84"}, "url":"URL#7059540" }, { "@score":"1", "@id":"7059541", "info":{"authors":{"author":[{"@pid":"h/JosephYHalpern","text":"Joseph Y. Halpern"},{"@pid":"m/ARMeyer","text":"Albert R. Meyer"},{"@pid":"44/280","text":"Boris A. Trakhtenbrot"}]},"title":"The Semantics of Local Storage, or What Makes the Free-List Free?","venue":"POPL","pages":"245-257","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/HalpernMT84","doi":"10.1145/800017.800536","ee":"https://doi.org/10.1145/800017.800536","url":"https://dblp.org/rec/conf/popl/HalpernMT84"}, "url":"URL#7059541" }, { "@score":"1", "@id":"7059542", "info":{"authors":{"author":[{"@pid":"h/ChristophMHoffmann","text":"Christoph M. Hoffmann"},{"@pid":"o/MichaelJODonnell","text":"Michael J. O'Donnell"}]},"title":"Implementation of an Interpreter for Abstract Equations.","venue":"POPL","pages":"111-121","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/HoffmannO84","doi":"10.1145/800017.800522","ee":"https://doi.org/10.1145/800017.800522","url":"https://dblp.org/rec/conf/popl/HoffmannO84"}, "url":"URL#7059542" }, { "@score":"1", "@id":"7059543", "info":{"authors":{"author":[{"@pid":"h/PaulHudak","text":"Paul Hudak"},{"@pid":"53/6629","text":"David A. Kranz"}]},"title":"A Combinator-Based Compiler for a Functional Language.","venue":"POPL","pages":"122-132","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/HudakK84","doi":"10.1145/800017.800523","ee":"https://doi.org/10.1145/800017.800523","url":"https://dblp.org/rec/conf/popl/HudakK84"}, "url":"URL#7059543" }, { "@score":"1", "@id":"7059544", "info":{"authors":{"author":{"@pid":"23/692","text":"Steven D. Johnson"}},"title":"Applicative Programming and Digital Design.","venue":"POPL","pages":"218-227","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Johnson84","doi":"10.1145/800017.800533","ee":"https://doi.org/10.1145/800017.800533","url":"https://dblp.org/rec/conf/popl/Johnson84"}, "url":"URL#7059544" }, { "@score":"1", "@id":"7059545", "info":{"authors":{"author":[{"@pid":"j/JeanPierreJouannaud","text":"Jean-Pierre Jouannaud"},{"@pid":"k/HKirchner","text":"Hélène Kirchner"}]},"title":"Completion of a Set of Rules Modulo a Set of Equations.","venue":"POPL","pages":"83-92","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/JouannaudK84","doi":"10.1145/800017.800519","ee":"https://doi.org/10.1145/800017.800519","url":"https://dblp.org/rec/conf/popl/JouannaudK84"}, "url":"URL#7059545" }, { "@score":"1", "@id":"7059546", "info":{"authors":{"author":[{"@pid":"84/3383","text":"David B. MacQueen"},{"@pid":"p/GordonDPlotkin","text":"Gordon D. Plotkin"},{"@pid":"34/3026","text":"Ravi Sethi"}]},"title":"An Ideal Model for Recursive Polymorphic Types.","venue":"POPL","pages":"165-174","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/MacQueenPS84","doi":"10.1145/800017.800528","ee":"https://doi.org/10.1145/800017.800528","url":"https://dblp.org/rec/conf/popl/MacQueenPS84"}, "url":"URL#7059546" }, { "@score":"1", "@id":"7059547", "info":{"authors":{"author":[{"@pid":"58/6870","text":"Don Milos"},{"@pid":"45/125","text":"Uwe F. Pleban"},{"@pid":"22/6169","text":"George Loegel"}]},"title":"Direct Implementation of Compiler Specifications or the Pascal P-code Compiler Revisited.","venue":"POPL","pages":"196-207","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/MilosPL84","doi":"10.1145/800017.800531","ee":"https://doi.org/10.1145/800017.800531","url":"https://dblp.org/rec/conf/popl/MilosPL84"}, "url":"URL#7059547" }, { "@score":"1", "@id":"7059548", "info":{"authors":{"author":[{"@pid":"07/5418","text":"Prateek Mishra"},{"@pid":"k/RobertMKeller","text":"Robert M. Keller"}]},"title":"Static Inference of Properties of Applicative Programs.","venue":"POPL","pages":"235-244","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/MishraK84","doi":"10.1145/800017.800535","ee":"https://doi.org/10.1145/800017.800535","url":"https://dblp.org/rec/conf/popl/MishraK84"}, "url":"URL#7059548" }, { "@score":"1", "@id":"7059549", "info":{"authors":{"author":{"@pid":"m/JohnCMitchell","text":"John C. Mitchell"}},"title":"Coercion and Type Inference.","venue":"POPL","pages":"175-185","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Mitchell84","doi":"10.1145/800017.800529","ee":"https://doi.org/10.1145/800017.800529","url":"https://dblp.org/rec/conf/popl/Mitchell84"}, "url":"URL#7059549" }, { "@score":"1", "@id":"7059550", "info":{"authors":{"author":{"@pid":"29/1499","text":"Thomas P. Murtagh"}},"title":"A Less Dynamic Memory Allocation Scheme for Algol-like Languages.","venue":"POPL","pages":"283-289","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Murtagh84","doi":"10.1145/800017.800540","ee":"https://doi.org/10.1145/800017.800540","url":"https://dblp.org/rec/conf/popl/Murtagh84"}, "url":"URL#7059550" }, { "@score":"1", "@id":"7059551", "info":{"authors":{"author":{"@pid":"m/EugeneWMyers","text":"Eugene W. Myers"}},"title":"Efficient Applicative Data Types.","venue":"POPL","pages":"66-75","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Myers84","doi":"10.1145/800017.800517","ee":"https://doi.org/10.1145/800017.800517","url":"https://dblp.org/rec/conf/popl/Myers84"}, "url":"URL#7059551" }, { "@score":"1", "@id":"7059552", "info":{"authors":{"author":{"@pid":"84/6","text":"Robert P. Nix"}},"title":"Editing by Example.","venue":"POPL","pages":"186-195","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Nix84","doi":"10.1145/800017.800530","ee":"https://doi.org/10.1145/800017.800530","url":"https://dblp.org/rec/conf/popl/Nix84"}, "url":"URL#7059552" }, { "@score":"1", "@id":"7059553", "info":{"authors":{"author":{"@pid":"76/3064","text":"Harold Ossher"}},"title":"Grids: A New Program Structuring Mechanism Based on Layered Graphs.","venue":"POPL","pages":"11-22","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Ossher84","doi":"10.1145/800017.800512","ee":"https://doi.org/10.1145/800017.800512","url":"https://dblp.org/rec/conf/popl/Ossher84"}, "url":"URL#7059553" }, { "@score":"1", "@id":"7059554", "info":{"authors":{"author":[{"@pid":"30/3694","text":"Jean-Claude Raoult"},{"@pid":"34/3026","text":"Ravi Sethi"}]},"title":"The Global Storage Needs of a Subcomputation.","venue":"POPL","pages":"148-157","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/RaoultS84","doi":"10.1145/800017.800526","ee":"https://doi.org/10.1145/800017.800526","url":"https://dblp.org/rec/conf/popl/RaoultS84"}, "url":"URL#7059554" }, { "@score":"1", "@id":"7059555", "info":{"authors":{"author":[{"@pid":"r/TWReps","text":"Thomas W. Reps"},{"@pid":"87/5001","text":"Bowen Alpern"}]},"title":"Interactive Proof Checking.","venue":"POPL","pages":"36-45","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/RepsA84","doi":"10.1145/800017.800514","ee":"https://doi.org/10.1145/800017.800514","url":"https://dblp.org/rec/conf/popl/RepsA84"}, "url":"URL#7059555" }, { "@score":"1", "@id":"7059556", "info":{"authors":{"author":[{"@pid":"58/3609","text":"Jerald S. Schwarz"},{"@pid":"21/2786","text":"Dean Rubine"}]},"title":"Treat - An Applicative Code Generator.","venue":"POPL","pages":"133-139","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/SchwarzR84","doi":"10.1145/800017.800524","ee":"https://doi.org/10.1145/800017.800524","url":"https://dblp.org/rec/conf/popl/SchwarzR84"}, "url":"URL#7059556" }, { "@score":"1", "@id":"7059557", "info":{"authors":{"author":{"@pid":"s/EhudYShapiro","text":"Ehud Shapiro"}},"title":"Systems Programming in Concurrent Prolog.","venue":"POPL","pages":"93-105","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Shapiro84","doi":"10.1145/800017.800520","ee":"https://doi.org/10.1145/800017.800520","url":"https://dblp.org/rec/conf/popl/Shapiro84"}, "url":"URL#7059557" }, { "@score":"1", "@id":"7059558", "info":{"authors":{"author":[{"@pid":"s/DennisShasha","text":"Dennis E. Shasha"},{"@pid":"p/AmirPnueli","text":"Amir Pnueli"},{"@pid":"80/5682","text":"W. Ewald"}]},"title":"Temporal Verification of Carrier-Sense Local Area Network Protocols.","venue":"POPL","pages":"54-65","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/ShashaPE84","doi":"10.1145/800017.800516","ee":"https://doi.org/10.1145/800017.800516","url":"https://dblp.org/rec/conf/popl/ShashaPE84"}, "url":"URL#7059558" }, { "@score":"1", "@id":"7059559", "info":{"authors":{"author":{"@pid":"298/4838","text":"Mark Sherman 0001"}},"title":"Paragon: Novel Uses of Type Hierarchies for Data Abstraction.","venue":"POPL","pages":"208-217","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Sherman84","doi":"10.1145/800017.800532","ee":"https://doi.org/10.1145/800017.800532","url":"https://dblp.org/rec/conf/popl/Sherman84"}, "url":"URL#7059559" }, { "@score":"1", "@id":"7059560", "info":{"authors":{"author":{"@pid":"90/4931","text":"Brian Cantwell Smith"}},"title":"Reflection and Semantics in Lisp.","venue":"POPL","pages":"23-35","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Smith84","doi":"10.1145/800017.800513","ee":"https://doi.org/10.1145/800017.800513","url":"https://dblp.org/rec/conf/popl/Smith84"}, "url":"URL#7059560" }, { "@score":"1", "@id":"7059561", "info":{"authors":{"author":[{"@pid":"58/3701","text":"P. A. Subrahmanyam"},{"@pid":"y/JiaHuaiYou","text":"Jia-Huai You"}]},"title":"Pattern Driven Lazy Reduction: A Unifying Evaluation Mechanism for Functional and Logic Programs.","venue":"POPL","pages":"228-234","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/SubrahmanyamY84","doi":"10.1145/800017.800534","ee":"https://doi.org/10.1145/800017.800534","url":"https://dblp.org/rec/conf/popl/SubrahmanyamY84"}, "url":"URL#7059561" }, { "@score":"1", "@id":"7059562", "info":{"authors":{"author":[{"@pid":"88/2836","text":"Norihisa Suzuki"},{"@pid":"04/188","text":"Minoru Terada"}]},"title":"Creating Efficient Systems for Object-Oriented Languages.","venue":"POPL","pages":"290-296","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/SuzukiT84","doi":"10.1145/800017.800541","ee":"https://doi.org/10.1145/800017.800541","url":"https://dblp.org/rec/conf/popl/SuzukiT84"}, "url":"URL#7059562" }, { "@score":"1", "@id":"7059563", "info":{"authors":{"author":{"@pid":"92/5289","text":"Jean-Jacques Thiel"}},"title":"Stop Losing Sleep Over Incomplete Data Type Specifications.","venue":"POPL","pages":"76-82","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Thiel84","doi":"10.1145/800017.800518","ee":"https://doi.org/10.1145/800017.800518","url":"https://dblp.org/rec/conf/popl/Thiel84"}, "url":"URL#7059563" }, { "@score":"1", "@id":"7059564", "info":{"authors":{"author":{"@pid":"w/MitchellWand","text":"Mitchell Wand"}},"title":"A Types-as-Sets Semantics for Milner-Style Polymorphism.","venue":"POPL","pages":"158-164","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Wand84","doi":"10.1145/800017.800527","ee":"https://doi.org/10.1145/800017.800527","url":"https://dblp.org/rec/conf/popl/Wand84"}, "url":"URL#7059564" }, { "@score":"1", "@id":"7059565", "info":{"authors":{"author":{"@pid":"w/JoeDWarren","text":"Joe D. Warren"}},"title":"A Hierarchical Basis for Reordering Transformations.","venue":"POPL","pages":"272-282","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Warren84","doi":"10.1145/800017.800539","ee":"https://doi.org/10.1145/800017.800539","url":"https://dblp.org/rec/conf/popl/Warren84"}, "url":"URL#7059565" }, { "@score":"1", "@id":"7059566", "info":{"authors":{"author":{"@pid":"57/4810","text":"Richard C. Waters"}},"title":"Expressional Loops.","venue":"POPL","pages":"1-10","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Waters84","doi":"10.1145/800017.800511","ee":"https://doi.org/10.1145/800017.800511","url":"https://dblp.org/rec/conf/popl/Waters84"}, "url":"URL#7059566" }, { "@score":"1", "@id":"7059567", "info":{"authors":{"author":{"@pid":"w/ReinhardWilhelm","text":"Reinhard Wilhelm"}},"title":"Inverse Currying Transformation on Attribute Grammars.","venue":"POPL","pages":"140-147","year":"1984","type":"Conference and Workshop Papers","access":"closed","key":"conf/popl/Wilhelm84","doi":"10.1145/800017.800525","ee":"https://doi.org/10.1145/800017.800525","url":"https://dblp.org/rec/conf/popl/Wilhelm84"}, "url":"URL#7059567" }, { "@score":"1", "@id":"7060808", "info":{"authors":{"author":[{"@pid":"k/KenKennedy","text":"Ken Kennedy"},{"@pid":"78/4203","text":"Mary S. Van Deusen"},{"@pid":"98/645","text":"Larry Landweber"}]},"title":"Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, Salt Lake City, Utah, USA, January 1984","venue":"POPL","publisher":"ACM Press","year":"1984","type":"Editorship","key":"conf/popl/1984","ee":"http://dl.acm.org/citation.cfm?id=800017","url":"https://dblp.org/rec/conf/popl/1984"}, "url":"URL#7060808" } ] } } } )