callback( { "result":{ "query":":facetid:toc:\"db/conf/lopstr/lopstr99.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"64.70" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"18", "@dc":"18", "@oc":"18", "@id":"43412930", "text":":facetid:toc:db/conf/lopstr/lopstr99.bht" } }, "hits":{ "@total":"18", "@computed":"18", "@sent":"18", "@first":"0", "hit":[{ "@score":"1", "@id":"6481349", "info":{"authors":{"author":{"@pid":"b/AnnalisaBossi","text":"Annalisa Bossi"}},"title":"Logic Programming Synthesis and Transformation, 9th International Workshop, LOPSTR'99, Venezia, Italy, September 22-24, 1999, Selected Papers","venue":["LOPSTR","Lecture Notes in Computer Science"],"volume":"1817","publisher":"Springer","year":"2000","type":"Editorship","key":"conf/lopstr/1999","doi":"10.1007/10720327","ee":"https://doi.org/10.1007/10720327","url":"https://dblp.org/rec/conf/lopstr/1999"}, "url":"URL#6481349" }, { "@score":"1", "@id":"6541267", "info":{"authors":{"author":[{"@pid":"84/4599","text":"Marco Bertolino"},{"@pid":"e/SandroEtalle","text":"Sandro Etalle"},{"@pid":"p/CPalamidessi","text":"Catuscia Palamidessi"}]},"title":"The Replacement Operation for CCP Programs.","venue":"LOPSTR","pages":"216-233","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/BertolinoEP99","doi":"10.1007/10720327_13","ee":"https://doi.org/10.1007/10720327_13","url":"https://dblp.org/rec/conf/lopstr/BertolinoEP99"}, "url":"URL#6541267" }, { "@score":"1", "@id":"6541268", "info":{"authors":{"author":[{"@pid":"b/AnnalisaBossi","text":"Annalisa Bossi"},{"@pid":"c/NicolettaCocco","text":"Nicoletta Cocco"},{"@pid":"e/SandroEtalle","text":"Sandro Etalle"}]},"title":"Transformation of Left Terminating Programs.","venue":"LOPSTR","pages":"156-175","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/BossiCE99","doi":"10.1007/10720327_10","ee":"https://doi.org/10.1007/10720327_10","url":"https://dblp.org/rec/conf/lopstr/BossiCE99"}, "url":"URL#6541268" }, { "@score":"1", "@id":"6541269", "info":{"authors":{"author":[{"@pid":"d/MDucasse","text":"Mireille Ducassé"},{"@pid":"52/2196","text":"Laurence Rozé"}]},"title":"Proof Obligations of the B Formal Method: Local Proofs Ensure Global Consistency.","venue":"LOPSTR","pages":"10-29","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/DucasseR99","doi":"10.1007/10720327_2","ee":"https://doi.org/10.1007/10720327_2","url":"https://dblp.org/rec/conf/lopstr/DucasseR99"}, "url":"URL#6541269" }, { "@score":"1", "@id":"6541270", "info":{"authors":{"author":[{"@pid":"f/JulianaKusterFilipe","text":"Juliana Küster Filipe"},{"@pid":"l/KungKiuLau","text":"Kung-Kiu Lau"},{"@pid":"86/4249","text":"Mario Ornaghi"},{"@pid":"06/901","text":"Hirokazu Yatsu"}]},"title":"On Dynamic Aspects of OOD Frameworks in Component-Based Software Development in Computational Logic.","venue":"LOPSTR","pages":"42-61","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/FilipeLOY99","doi":"10.1007/10720327_4","ee":"https://doi.org/10.1007/10720327_4","url":"https://dblp.org/rec/conf/lopstr/FilipeLOY99"}, "url":"URL#6541270" }, { "@score":"1", "@id":"6541271", "info":{"authors":{"author":{"@pid":"95/6358","text":"Laurent Fribourg"}},"title":"Constraint Logic Programming Applied to Model Checking.","venue":"LOPSTR","pages":"30-41","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/Fribourg99","doi":"10.1007/10720327_3","ee":"https://doi.org/10.1007/10720327_3","url":"https://dblp.org/rec/conf/lopstr/Fribourg99"}, "url":"URL#6541271" }, { "@score":"1", "@id":"6541272", "info":{"authors":{"author":{"@pid":"g/JurgenGiesl","text":"Jürgen Giesl"}},"title":"Context-Moving Transformations for Function Verification.","venue":"LOPSTR","pages":"293-312","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/Giesl99","doi":"10.1007/10720327_17","ee":"https://doi.org/10.1007/10720327_17","url":"https://dblp.org/rec/conf/lopstr/Giesl99"}, "url":"URL#6541272" }, { "@score":"1", "@id":"6541273", "info":{"authors":{"author":[{"@pid":"67/5613","text":"Jacob M. Howe"},{"@pid":"k/AndyKing","text":"Andy King"}]},"title":"Specialising Fininte Domain Programs Using Polyhedra.","venue":"LOPSTR","pages":"118-135","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/HoweK99","doi":"10.1007/10720327_8","ee":"https://doi.org/10.1007/10720327_8","url":"https://dblp.org/rec/conf/lopstr/HoweK99"}, "url":"URL#6541273" }, { "@score":"1", "@id":"6541274", "info":{"authors":{"author":{"@pid":"50/2237","text":"Marija Kulas"}},"title":"Annotations for Prolog - A Concept and Runtime Handling.","venue":"LOPSTR","pages":"234-254","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/Kulas99","doi":"10.1007/10720327_14","ee":"https://doi.org/10.1007/10720327_14","url":"https://dblp.org/rec/conf/lopstr/Kulas99"}, "url":"URL#6541274" }, { "@score":"1", "@id":"6541275", "info":{"authors":{"author":[{"@pid":"l/RalfLammel","text":"Ralf Lämmel"},{"@pid":"08/3045","text":"Günter Riedewald"},{"@pid":"79/5252","text":"Wolfgang Lohmann"}]},"title":"Roles of Program Extension.","venue":"LOPSTR","pages":"136-155","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/LammelRL99","doi":"10.1007/10720327_9","ee":"https://doi.org/10.1007/10720327_9","url":"https://dblp.org/rec/conf/lopstr/LammelRL99"}, "url":"URL#6541275" }, { "@score":"1", "@id":"6541276", "info":{"authors":{"author":[{"@pid":"l/MLeuschel","text":"Michael Leuschel"},{"@pid":"52/1845","text":"Thierry Massart"}]},"title":"Infinite State Model Checking by Abstract Interpretation and Program Specialisation.","venue":"LOPSTR","pages":"62-81","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/LeuschelM99","doi":"10.1007/10720327_5","ee":"https://doi.org/10.1007/10720327_5","url":"https://dblp.org/rec/conf/lopstr/LeuschelM99"}, "url":"URL#6541276" }, { "@score":"1", "@id":"6541277", "info":{"authors":{"author":[{"@pid":"73/4987","text":"Daniel Le Métayer"},{"@pid":"23/4989","text":"Valérie-Anne Nicolas"},{"@pid":"r/ORidoux","text":"Olivier Ridoux"}]},"title":"Verification by Testing for Recursive Program Schemes.","venue":"LOPSTR","pages":"255-272","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/MetayerNR99","doi":"10.1007/10720327_15","ee":"https://doi.org/10.1007/10720327_15","url":"https://dblp.org/rec/conf/lopstr/MetayerNR99"}, "url":"URL#6541277" }, { "@score":"1", "@id":"6541278", "info":{"authors":{"author":[{"@pid":"92/1792","text":"Julio C. Peralta"},{"@pid":"g/JPGallagher","text":"John P. Gallagher"}]},"title":"Imperative Program Specialisation: An Approach Using CLP.","venue":"LOPSTR","pages":"102-117","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/PeraltaG99","doi":"10.1007/10720327_7","ee":"https://doi.org/10.1007/10720327_7","url":"https://dblp.org/rec/conf/lopstr/PeraltaG99"}, "url":"URL#6541278" }, { "@score":"1", "@id":"6541279", "info":{"authors":{"author":[{"@pid":"19/2451","text":"Alberto Pettorossi"},{"@pid":"78/4537","text":"Maurizio Proietti"}]},"title":"Transformation Rules for Logic Programs with Goals as Arguments.","venue":"LOPSTR","pages":"176-195","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/PettorossiP99","doi":"10.1007/10720327_11","ee":"https://doi.org/10.1007/10720327_11","url":"https://dblp.org/rec/conf/lopstr/PettorossiP99"}, "url":"URL#6541279" }, { "@score":"1", "@id":"6541280", "info":{"authors":{"author":[{"@pid":"p/GPuebla","text":"Germán Puebla"},{"@pid":"15/963","text":"Francisco Bueno"},{"@pid":"h/ManuelVHermenegildo","text":"Manuel V. Hermenegildo"}]},"title":"Combined Static and Dynamic Assertion-Based Debugging of Constraint Logic Programs.","venue":"LOPSTR","pages":"273-292","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/PueblaBH99","doi":"10.1007/10720327_16","ee":"https://doi.org/10.1007/10720327_16","url":"https://dblp.org/rec/conf/lopstr/PueblaBH99"}, "url":"URL#6541280" }, { "@score":"1", "@id":"6541281", "info":{"authors":{"author":[{"@pid":"16/4562","text":"Peter Ross"},{"@pid":"88/151","text":"David Overton"},{"@pid":"s/ZoltanSomogyi","text":"Zoltan Somogyi"}]},"title":"Making Mercury Programs Tail Recursive.","venue":"LOPSTR","pages":"196-215","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/RossOS99","doi":"10.1007/10720327_12","ee":"https://doi.org/10.1007/10720327_12","url":"https://dblp.org/rec/conf/lopstr/RossOS99"}, "url":"URL#6541281" }, { "@score":"1", "@id":"6541282", "info":{"authors":{"author":{"@pid":"s/DonaldSannella","text":"Donald Sannella"}},"title":"Algebraic Specification and Program Development by Stepwise Refinement.","venue":"LOPSTR","pages":"1-9","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/Sannella99","doi":"10.1007/10720327_1","ee":"https://doi.org/10.1007/10720327_1","url":"https://dblp.org/rec/conf/lopstr/Sannella99"}, "url":"URL#6541282" }, { "@score":"1", "@id":"6541283", "info":{"authors":{"author":[{"@pid":"s/JanGeorgSmaus","text":"Jan-Georg Smaus"},{"@pid":"h/PatriciaMHill","text":"Patricia M. Hill"},{"@pid":"k/AndyKing","text":"Andy King"}]},"title":"Mode Analysis Domains for Typed Logic Programs.","venue":"LOPSTR","pages":"82-101","year":"1999","type":"Conference and Workshop Papers","access":"closed","key":"conf/lopstr/SmausHK99","doi":"10.1007/10720327_6","ee":"https://doi.org/10.1007/10720327_6","url":"https://dblp.org/rec/conf/lopstr/SmausHK99"}, "url":"URL#6541283" } ] } } } )