callback( { "result":{ "query":":facetid:toc:\"db/journals/entcs/entcs177.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"63.32" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"18", "@dc":"18", "@oc":"18", "@id":"43436782", "text":":facetid:toc:db/journals/entcs/entcs177.bht" } }, "hits":{ "@total":"18", "@computed":"18", "@sent":"18", "@first":"0", "hit":[{ "@score":"1", "@id":"5622119", "info":{"authors":{"author":{"@pid":"l/FJLopezFraguas","text":"Francisco Javier López-Fraguas"}},"title":"Proceedings of the 15th Workshop on Functional and (Constraint) Logic Programming, WFLP 2006, Madrid, Spain, November 16-17, 2006","venue":["WFLP","Electronic Notes in Theoretical Computer Science"],"volume":"177","publisher":"Elsevier","year":"2007","type":"Editorship","key":"conf/wflp/2006","ee":"https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/177/suppl/C","url":"https://dblp.org/rec/conf/wflp/2006"}, "url":"URL#5622119" }, { "@score":"1", "@id":"5796718", "info":{"authors":{"author":[{"@pid":"74/4492","text":"Emilio Jesús Gallego Arias"},{"@pid":"m/JulioMarino","text":"Julio Mariño-Carballo"},{"@pid":"74/2558","text":"José María Rey Poza"}]},"title":"A Proposal for Disequality Constraints in Curry.","venue":"WFLP","pages":"269-285","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/AriasMP07","doi":"10.1016/J.ENTCS.2007.01.014","ee":"https://doi.org/10.1016/j.entcs.2007.01.014","url":"https://dblp.org/rec/journals/entcs/AriasMP07"}, "url":"URL#5796718" }, { "@score":"1", "@id":"5796747", "info":{"authors":{"author":[{"@pid":"b/RBerghammer","text":"Rudolf Berghammer"},{"@pid":"74/3745-1","text":"Sebastian Fischer 0001"}]},"title":"Implementing Relational Specifications in a Constraint Functional Logic Language.","venue":"WFLP","pages":"169-183","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/BerghammerF07","doi":"10.1016/J.ENTCS.2007.01.011","ee":"https://doi.org/10.1016/j.entcs.2007.01.011","url":"https://dblp.org/rec/journals/entcs/BerghammerF07"}, "url":"URL#5796747" }, { "@score":"1", "@id":"5796784", "info":{"authors":{"author":{"@pid":"b/BBrassel","text":"Bernd Braßel"}},"title":"A Framework for Interpreting Traces of Functional Logic Computations.","venue":"WFLP","pages":"91-106","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Brassel07","doi":"10.1016/J.ENTCS.2007.01.006","ee":"https://doi.org/10.1016/j.entcs.2007.01.006","url":"https://dblp.org/rec/journals/entcs/Brassel07"}, "url":"URL#5796784" }, { "@score":"1", "@id":"5796800", "info":{"authors":{"author":[{"@pid":"42/5386-1","text":"Rafael Caballero 0001"},{"@pid":"98/1185","text":"Yolanda García-Ruiz"}]},"title":"Implementing Dynamic-Cut in TOY.","venue":"WFLP","pages":"153-168","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/CaballeroG07","doi":"10.1016/J.ENTCS.2007.01.009","ee":"https://doi.org/10.1016/j.entcs.2007.01.009","url":"https://dblp.org/rec/journals/entcs/CaballeroG07"}, "url":"URL#5796800" }, { "@score":"1", "@id":"5796801", "info":{"authors":{"author":[{"@pid":"42/5386-1","text":"Rafael Caballero 0001"},{"@pid":"28/6445","text":"Christian Hermanns"},{"@pid":"k/HerbertKuchen","text":"Herbert Kuchen"}]},"title":"Algorithmic Debugging of Java Programs.","venue":"WFLP","pages":"75-89","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/CaballeroHK07","doi":"10.1016/J.ENTCS.2007.01.005","ee":"https://doi.org/10.1016/j.entcs.2007.01.005","url":"https://dblp.org/rec/journals/entcs/CaballeroHK07"}, "url":"URL#5796801" }, { "@score":"1", "@id":"5796834", "info":{"authors":{"author":[{"@pid":"26/4459","text":"Diego Cheda"},{"@pid":"27/409","text":"Josep Silva"},{"@pid":"v/GermanVidal","text":"Germán Vidal"}]},"title":"Static Slicing of Rewrite Systems.","venue":"WFLP","pages":"123-136","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/ChedaSV07","doi":"10.1016/J.ENTCS.2007.01.010","ee":"https://doi.org/10.1016/j.entcs.2007.01.010","url":"https://dblp.org/rec/journals/entcs/ChedaSV07"}, "url":"URL#5796834" }, { "@score":"1", "@id":"5796906", "info":{"authors":{"author":[{"@pid":"e/SEscobar","text":"Santiago Escobar 0001"},{"@pid":"m/JoseMeseguer","text":"José Meseguer 0001"},{"@pid":"t/PrasannaThati","text":"Prasanna Thati"}]},"title":"Narrowing and Rewriting Logic: from Foundations to Applications.","venue":"WFLP","pages":"5-33","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/EscobarMT07","doi":"10.1016/J.ENTCS.2007.01.004","ee":"https://doi.org/10.1016/j.entcs.2007.01.004","url":"https://dblp.org/rec/journals/entcs/EscobarMT07"}, "url":"URL#5796906" }, { "@score":"1", "@id":"5796921", "info":{"authors":{"author":{"@pid":"74/3745-1","text":"Sebastian Fischer 0001"}},"title":"Lazy Database Access with Persistent Predicates.","venue":"WFLP","pages":"185-200","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Fischer07","doi":"10.1016/J.ENTCS.2007.01.024","ee":"https://doi.org/10.1016/j.entcs.2007.01.024","url":"https://dblp.org/rec/journals/entcs/Fischer07"}, "url":"URL#5796921" }, { "@score":"1", "@id":"5796943", "info":{"authors":{"author":[{"@pid":"89/7614","text":"Ramón González del Campo"},{"@pid":"60/1036","text":"Fernando Sáenz-Pérez"}]},"title":"Programmed Search in a Timetabling Problem over Finite Domains.","venue":"WFLP","pages":"253-267","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Gonzalez-del-CampoS07","doi":"10.1016/J.ENTCS.2007.01.013","ee":"https://doi.org/10.1016/j.entcs.2007.01.013","url":"https://dblp.org/rec/journals/entcs/Gonzalez-del-CampoS07"}, "url":"URL#5796943" }, { "@score":"1", "@id":"5796960", "info":{"authors":{"author":{"@pid":"h/MichaelHanus","text":"Michael Hanus"}},"title":"Reporting Failures in Functional Logic Programs.","venue":"WFLP","pages":"59-73","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Hanus07","doi":"10.1016/J.ENTCS.2007.01.002","ee":"https://doi.org/10.1016/j.entcs.2007.01.002","url":"https://dblp.org/rec/journals/entcs/Hanus07"}, "url":"URL#5796960" }, { "@score":"1", "@id":"5797053", "info":{"authors":{"author":{"@pid":"l/FJLopezFraguas","text":"Francisco Javier López-Fraguas"}},"title":"Preface.","venue":"WFLP","pages":"1-3","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Lopez-Fraguas07","doi":"10.1016/J.ENTCS.2007.01.001","ee":"https://doi.org/10.1016/j.entcs.2007.01.001","url":"https://dblp.org/rec/journals/entcs/Lopez-Fraguas07"}, "url":"URL#5797053" }, { "@score":"1", "@id":"5797069", "info":{"authors":{"author":[{"@pid":"13/3175","text":"Sonia Estévez Martín"},{"@pid":"f/AJFernandez","text":"Antonio J. Fernández 0001"},{"@pid":"27/2641","text":"Maria Teresa Hortalá-González"},{"@pid":"r/MRodriguezA","text":"Mario Rodríguez-Artalejo"},{"@pid":"v/RafaeldelVadoVirseda","text":"Rafael del Vado Vírseda"}]},"title":"A Fully Sound Goal Solving Calculus for the Cooperation of Solvers in the CFLP Scheme.","venue":"WFLP","pages":"235-252","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/MartinFHRV07","doi":"10.1016/J.ENTCS.2007.01.026","ee":"https://doi.org/10.1016/j.entcs.2007.01.026","url":"https://dblp.org/rec/journals/entcs/MartinFHRV07"}, "url":"URL#5797069" }, { "@score":"1", "@id":"5797125", "info":{"authors":{"author":[{"@pid":"224/1966","text":"Vítor Nogueira"},{"@pid":"51/611","text":"Salvador Abreu"}]},"title":"Temporal Contextual Logic Programming.","venue":"WFLP","pages":"219-233","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/NogueiraA07","doi":"10.1016/J.ENTCS.2007.01.025","ee":"https://doi.org/10.1016/j.entcs.2007.01.025","url":"https://dblp.org/rec/journals/entcs/NogueiraA07"}, "url":"URL#5797125" }, { "@score":"1", "@id":"5797127", "info":{"authors":{"author":[{"@pid":"76/6622","text":"Claudio Ochoa"},{"@pid":"p/GPuebla","text":"Germán Puebla"}]},"title":"A Study on the Practicality of Poly-Controlled Partial Evaluation.","venue":"WFLP","pages":"137-151","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/OchoaP07","doi":"10.1016/J.ENTCS.2007.01.008","ee":"https://doi.org/10.1016/j.entcs.2007.01.008","url":"https://dblp.org/rec/journals/entcs/OchoaP07"}, "url":"URL#5797127" }, { "@score":"1", "@id":"5797135", "info":{"authors":{"author":{"@pid":"p/PeterPadawitz","text":"Peter Padawitz"}},"title":"Expander2: Program Verification Between Interaction and Automation.","venue":"WFLP","pages":"35-57","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/Padawitz07","doi":"10.1016/J.ENTCS.2007.01.003","ee":"https://doi.org/10.1016/j.entcs.2007.01.003","url":"https://dblp.org/rec/journals/entcs/Padawitz07"}, "url":"URL#5797135" }, { "@score":"1", "@id":"5797185", "info":{"authors":{"author":[{"@pid":"38/6535","text":"Parissa H. Sadeghi"},{"@pid":"56/4149","text":"Frank Huch"}]},"title":"The Interactive Curry Observation Debugger iCODE.","venue":"WFLP","pages":"107-122","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/SadeghiH07","doi":"10.1016/J.ENTCS.2007.01.007","ee":"https://doi.org/10.1016/j.entcs.2007.01.007","url":"https://dblp.org/rec/journals/entcs/SadeghiH07"}, "url":"URL#5797185" }, { "@score":"1", "@id":"5797200", "info":{"authors":{"author":[{"@pid":"01/4438","text":"Clara Segura"},{"@pid":"67/6735","text":"Carmen Torrano"}]},"title":"Using Template Haskell for Abstract Interpretation.","venue":"WFLP","pages":"201-217","year":"2006","type":"Conference and Workshop Papers","access":"open","key":"journals/entcs/SeguraT07","doi":"10.1016/J.ENTCS.2007.01.012","ee":"https://doi.org/10.1016/j.entcs.2007.01.012","url":"https://dblp.org/rec/journals/entcs/SeguraT07"}, "url":"URL#5797200" } ] } } } )