callback( { "result":{ "query":":facetid:toc:\"db/conf/esop/esop88.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"186.91" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"29", "@dc":"29", "@oc":"29", "@id":"43392968", "text":":facetid:toc:db/conf/esop/esop88.bht" } }, "hits":{ "@total":"29", "@computed":"29", "@sent":"29", "@first":"0", "hit":[{ "@score":"1", "@id":"6994967", "info":{"authors":{"author":[{"@pid":"a/AAiken","text":"Alexander Aiken"},{"@pid":"n/AlexandruNicolau","text":"Alexandru Nicolau"}]},"title":"Perfect Pipelining: A New Loop Parallelization Technique.","venue":"ESOP","pages":"221-235","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/AikenN88","doi":"10.1007/3-540-19027-9_15","ee":"https://doi.org/10.1007/3-540-19027-9_15","url":"https://dblp.org/rec/conf/esop/AikenN88"}, "url":"URL#6994967" }, { "@score":"1", "@id":"6994968", "info":{"authors":{"author":[{"@pid":"98/1472","text":"Rolf Bahlke"},{"@pid":"s/GregorSnelting","text":"Gregor Snelting"}]},"title":"The PSG System: From Formal Language Definitions to Interactive Programming Environments.","venue":"ESOP","pages":"374-375","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/BahlkeS88","doi":"10.1007/3-540-19027-9_25","ee":"https://doi.org/10.1007/3-540-19027-9_25","url":"https://dblp.org/rec/conf/esop/BahlkeS88"}, "url":"URL#6994968" }, { "@score":"1", "@id":"6994969", "info":{"authors":{"author":[{"@pid":"55/5578","text":"Didier Bert"},{"@pid":"79/6416","text":"Pascal Drabik"},{"@pid":"91/3803","text":"Rachid Echahed"},{"@pid":"46/4318","text":"Olivier Declerfayt"},{"@pid":"78/6898","text":"Brigitte Demeuse"},{"@pid":"27/3416","text":"Pierre-Yves Schobbens"},{"@pid":"32/1463","text":"François Wautier"}]},"title":"LPG: A Generic, Logic and Functional Programming Language.","venue":"ESOP","pages":"376-377","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/BertDEDDSW88","doi":"10.1007/3-540-19027-9_26","ee":"https://doi.org/10.1007/3-540-19027-9_26","url":"https://dblp.org/rec/conf/esop/BertDEDDSW88"}, "url":"URL#6994969" }, { "@score":"1", "@id":"6994970", "info":{"authors":{"author":[{"@pid":"87/4921","text":"Hubert Bertling"},{"@pid":"g/HaraldGanzinger","text":"Harald Ganzinger"},{"@pid":"68/1549","text":"Renate Schäfers"}]},"title":"CEC: A System for the Completion of Conditional Equational Specifications.","venue":"ESOP","pages":"378-379","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/BertlingGS88","doi":"10.1007/3-540-19027-9_27","ee":"https://doi.org/10.1007/3-540-19027-9_27","url":"https://dblp.org/rec/conf/esop/BertlingGS88"}, "url":"URL#6994970" }, { "@score":"1", "@id":"6994971", "info":{"authors":{"author":[{"@pid":"60/1632","text":"Manfred Bretz"},{"@pid":"e/JurgenEbert","text":"Jürgen Ebert"}]},"title":"An Exception Handling Construct for Functional Languages.","venue":"ESOP","pages":"160-174","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/BretzE88","doi":"10.1007/3-540-19027-9_11","ee":"https://doi.org/10.1007/3-540-19027-9_11","url":"https://dblp.org/rec/conf/esop/BretzE88"}, "url":"URL#6994971" }, { "@score":"1", "@id":"6994972", "info":{"authors":{"author":{"@pid":"c/CConsel","text":"Charles Consel"}},"title":"New Insights into Partial Evaluation: the SCHISM Experiment.","venue":"ESOP","pages":"236-246","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Consel88","doi":"10.1007/3-540-19027-9_16","ee":"https://doi.org/10.1007/3-540-19027-9_16","url":"https://dblp.org/rec/conf/esop/Consel88"}, "url":"URL#6994972" }, { "@score":"1", "@id":"6994973", "info":{"authors":{"author":{"@pid":"33/630","text":"N. W. P. van Diepen"}},"title":"Implementation of Modular Algebraic Specifications.","venue":"ESOP","pages":"64-78","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Diepen88","doi":"10.1007/3-540-19027-9_5","ee":"https://doi.org/10.1007/3-540-19027-9_5","url":"https://dblp.org/rec/conf/esop/Diepen88"}, "url":"URL#6994973" }, { "@score":"1", "@id":"6994974", "info":{"authors":{"author":[{"@pid":"23/187","text":"Roland Dietrich"},{"@pid":"24/3653","text":"Frank Hagl"}]},"title":"A Polymorphic Type System with Subtypes for Prolog.","venue":"ESOP","pages":"79-93","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/DietrichH88","doi":"10.1007/3-540-19027-9_6","ee":"https://doi.org/10.1007/3-540-19027-9_6","url":"https://dblp.org/rec/conf/esop/DietrichH88"}, "url":"URL#6994974" }, { "@score":"1", "@id":"6994975", "info":{"authors":{"author":[{"@pid":"83/5157","text":"You-Chin Fuh"},{"@pid":"07/5418","text":"Prateek Mishra"}]},"title":"Type Inference with Subtypes.","venue":"ESOP","pages":"94-114","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/FuhM88","doi":"10.1007/3-540-19027-9_7","ee":"https://doi.org/10.1007/3-540-19027-9_7","url":"https://dblp.org/rec/conf/esop/FuhM88"}, "url":"URL#6994975" }, { "@score":"1", "@id":"6994976", "info":{"authors":{"author":[{"@pid":"74/4866","text":"Marie-Claude Gaudel"},{"@pid":"49/6454","text":"Th. Moineau"}]},"title":"A Theory of Software Reusability.","venue":"ESOP","pages":"115-130","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/GaudelM88","doi":"10.1007/3-540-19027-9_8","ee":"https://doi.org/10.1007/3-540-19027-9_8","url":"https://dblp.org/rec/conf/esop/GaudelM88"}, "url":"URL#6994976" }, { "@score":"1", "@id":"6994977", "info":{"authors":{"author":[{"@pid":"g/RobertGiegerich","text":"Robert Giegerich"},{"@pid":"36/3164","text":"Karl Schmal"}]},"title":"Code Selection Techniques: Pattern Matching, Tree Parsing, and Inversion of Derivors.","venue":"ESOP","pages":"247-268","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/GiegerichS88","doi":"10.1007/3-540-19027-9_17","ee":"https://doi.org/10.1007/3-540-19027-9_17","url":"https://dblp.org/rec/conf/esop/GiegerichS88"}, "url":"URL#6994977" }, { "@score":"1", "@id":"6994978", "info":{"authors":{"author":[{"@pid":"71/1699","text":"Graham Gough"},{"@pid":"b/HBarringer","text":"Howard Barringer"}]},"title":"A Semantics Driven Temporal Verification System.","venue":"ESOP","pages":"21-33","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/GoughB88","doi":"10.1007/3-540-19027-9_2","ee":"https://doi.org/10.1007/3-540-19027-9_2","url":"https://dblp.org/rec/conf/esop/GoughB88"}, "url":"URL#6994978" }, { "@score":"1", "@id":"6994979", "info":{"authors":{"author":{"@pid":"h/ReinholdHeckmann","text":"Reinhold Heckmann"}},"title":"A Functional Language for the Specification of Complex Tree Transformations.","venue":"ESOP","pages":"175-190","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Heckmann88","doi":"10.1007/3-540-19027-9_12","ee":"https://doi.org/10.1007/3-540-19027-9_12","url":"https://dblp.org/rec/conf/esop/Heckmann88"}, "url":"URL#6994979" }, { "@score":"1", "@id":"6994980", "info":{"authors":{"author":{"@pid":"h/ReinholdHeckmann","text":"Reinhold Heckmann"}},"title":"A Functional Language for the Specification of Complex Tree Transformations (System Exhibition).","venue":"ESOP","pages":"380","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Heckmann88a","doi":"10.1007/3-540-19027-9_28","ee":"https://doi.org/10.1007/3-540-19027-9_28","url":"https://dblp.org/rec/conf/esop/Heckmann88a"}, "url":"URL#6994980" }, { "@score":"1", "@id":"6994981", "info":{"authors":{"author":{"@pid":"h/SusanHorwitz","text":"Susan Horwitz"}},"title":"Adding Relational Query Facilities to Software Development Environments.","venue":"ESOP","pages":"269-283","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Horwitz88","doi":"10.1007/3-540-19027-9_18","ee":"https://doi.org/10.1007/3-540-19027-9_18","url":"https://dblp.org/rec/conf/esop/Horwitz88"}, "url":"URL#6994981" }, { "@score":"1", "@id":"6994982", "info":{"authors":{"author":[{"@pid":"96/2901","text":"Dean Jacobs"},{"@pid":"19/5403","text":"Anno Langen"}]},"title":"Compilation of Logic Programs for Restricted And-Parallelism.","venue":"ESOP","pages":"284-297","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/JacobsL88","doi":"10.1007/3-540-19027-9_19","ee":"https://doi.org/10.1007/3-540-19027-9_19","url":"https://dblp.org/rec/conf/esop/JacobsL88"}, "url":"URL#6994982" }, { "@score":"1", "@id":"6994983", "info":{"authors":{"author":{"@pid":"42/5583","text":"Stefan Kaes"}},"title":"Parametric Overloading in Polymorphic Programming Languages.","venue":"ESOP","pages":"131-144","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Kaes88","doi":"10.1007/3-540-19027-9_9","ee":"https://doi.org/10.1007/3-540-19027-9_9","url":"https://dblp.org/rec/conf/esop/Kaes88"}, "url":"URL#6994983" }, { "@score":"1", "@id":"6994984", "info":{"authors":{"author":[{"@pid":"70/1261","text":"Simon M. Kaplan"},{"@pid":"k/GailEKaiser","text":"Gail E. Kaiser"}]},"title":"Garp: Graph Abstractions for Concurrent Programming.","venue":"ESOP","pages":"191-205","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/KaplanK88","doi":"10.1007/3-540-19027-9_13","ee":"https://doi.org/10.1007/3-540-19027-9_13","url":"https://dblp.org/rec/conf/esop/KaplanK88"}, "url":"URL#6994984" }, { "@score":"1", "@id":"6994985", "info":{"authors":{"author":{"@pid":"k/BerndKriegBruckner","text":"Bernd Krieg-Brückner"}},"title":"Algebraic Formalisation of Program Development by Transformation.","venue":"ESOP","pages":"34-48","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Krieg-Bruckner88","doi":"10.1007/3-540-19027-9_3","ee":"https://doi.org/10.1007/3-540-19027-9_3","url":"https://dblp.org/rec/conf/esop/Krieg-Bruckner88"}, "url":"URL#6994985" }, { "@score":"1", "@id":"6994986", "info":{"authors":{"author":{"@pid":"32/2661","text":"Alain Laville"}},"title":"Implementation of Lazy Pattern Matching Algorithms.","venue":"ESOP","pages":"298-316","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Laville88","doi":"10.1007/3-540-19027-9_20","ee":"https://doi.org/10.1007/3-540-19027-9_20","url":"https://dblp.org/rec/conf/esop/Laville88"}, "url":"URL#6994986" }, { "@score":"1", "@id":"6994987", "info":{"authors":{"author":{"@pid":"11/769","text":"Remi Legrand"}},"title":"Extending Functional Programming Towards Relations.","venue":"ESOP","pages":"206-220","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Legrand88","doi":"10.1007/3-540-19027-9_14","ee":"https://doi.org/10.1007/3-540-19027-9_14","url":"https://dblp.org/rec/conf/esop/Legrand88"}, "url":"URL#6994987" }, { "@score":"1", "@id":"6994988", "info":{"authors":{"author":[{"@pid":"m/AlbertoMartelli","text":"Alberto Martelli"},{"@pid":"r/GianfrancoRossi","text":"Gianfranco Rossi"}]},"title":"Enhancing Prolog to Support Prolog Programming Environments.","venue":"ESOP","pages":"317-327","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/MartelliR88","doi":"10.1007/3-540-19027-9_21","ee":"https://doi.org/10.1007/3-540-19027-9_21","url":"https://dblp.org/rec/conf/esop/MartelliR88"}, "url":"URL#6994988" }, { "@score":"1", "@id":"6994989", "info":{"authors":{"author":[{"@pid":"n/FlemmingNielson","text":"Flemming Nielson"},{"@pid":"n/HanneRiisNielson","text":"Hanne Riis Nielson"}]},"title":"2-level lambda-lifting.","venue":"ESOP","pages":"328-343","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/NielsonN88","doi":"10.1007/3-540-19027-9_22","ee":"https://doi.org/10.1007/3-540-19027-9_22","url":"https://dblp.org/rec/conf/esop/NielsonN88"}, "url":"URL#6994989" }, { "@score":"1", "@id":"6994990", "info":{"authors":{"author":{"@pid":"48/5745","text":"Michel Parigot"}},"title":"Programming with Proofs: A Second Order Type Theory.","venue":"ESOP","pages":"145-159","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Parigot88","doi":"10.1007/3-540-19027-9_10","ee":"https://doi.org/10.1007/3-540-19027-9_10","url":"https://dblp.org/rec/conf/esop/Parigot88"}, "url":"URL#6994990" }, { "@score":"1", "@id":"6994991", "info":{"authors":{"author":[{"@pid":"r/TWReps","text":"Thomas W. Reps"},{"@pid":"h/SusanHorwitz","text":"Susan Horwitz"}]},"title":"Semantics-Based Program Integration.","venue":"ESOP","pages":"1-20","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/RepsH88","doi":"10.1007/3-540-19027-9_1","ee":"https://doi.org/10.1007/3-540-19027-9_1","url":"https://dblp.org/rec/conf/esop/RepsH88"}, "url":"URL#6994991" }, { "@score":"1", "@id":"6994992", "info":{"authors":{"author":{"@pid":"96/1647","text":"Yukihide Takayama"}},"title":"QPC: QJ-based Proof Compiler - Simple Examples and Analysis.","venue":"ESOP","pages":"49-63","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Takayama88","doi":"10.1007/3-540-19027-9_4","ee":"https://doi.org/10.1007/3-540-19027-9_4","url":"https://dblp.org/rec/conf/esop/Takayama88"}, "url":"URL#6994992" }, { "@score":"1", "@id":"6994993", "info":{"authors":{"author":{"@pid":"w/PhilipWadler","text":"Philip Wadler"}},"title":"Deforestation: Transforming Programs to Eliminate Trees.","venue":"ESOP","pages":"344-358","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/Wadler88","doi":"10.1007/3-540-19027-9_23","ee":"https://doi.org/10.1007/3-540-19027-9_23","url":"https://dblp.org/rec/conf/esop/Wadler88"}, "url":"URL#6994993" }, { "@score":"1", "@id":"6994994", "info":{"authors":{"author":[{"@pid":"02/3291","text":"Patrick Weemeeuw"},{"@pid":"b/MauriceBruynooghe","text":"Maurice Bruynooghe"},{"@pid":"68/4738","text":"Marleen De Haondt"}]},"title":"On Implementing Logic Programming Languages on a Dataflow Architecture.","venue":"ESOP","pages":"359-372","year":"1988","type":"Conference and Workshop Papers","access":"closed","key":"conf/esop/WeemeeuwBH88","doi":"10.1007/3-540-19027-9_24","ee":"https://doi.org/10.1007/3-540-19027-9_24","url":"https://dblp.org/rec/conf/esop/WeemeeuwBH88"}, "url":"URL#6994994" }, { "@score":"1", "@id":"7002259", "info":{"authors":{"author":{"@pid":"g/HaraldGanzinger","text":"Harald Ganzinger"}},"title":"ESOP '88, 2nd European Symposium on Programming, Nancy, France, March 21-24, 1988, Proceedings","venue":["ESOP","Lecture Notes in Computer Science"],"volume":"300","publisher":"Springer","year":"1988","type":"Editorship","key":"conf/esop/1988","doi":"10.1007/3-540-19027-9","ee":"https://doi.org/10.1007/3-540-19027-9","url":"https://dblp.org/rec/conf/esop/1988"}, "url":"URL#7002259" } ] } } } )