callback( { "result":{ "query":":facetid:toc:\"db/conf/flops/flops2012.bht\"", "status":{ "@code":"200", "text":"OK" }, "time":{ "@unit":"msecs", "text":"65.35" }, "completions":{ "@total":"1", "@computed":"1", "@sent":"1", "c":{ "@sc":"26", "@dc":"26", "@oc":"26", "@id":"43382266", "text":":facetid:toc:db/conf/flops/flops2012.bht" } }, "hits":{ "@total":"26", "@computed":"26", "@sent":"26", "@first":"0", "hit":[{ "@score":"1", "@id":"4411074", "info":{"authors":{"author":[{"@pid":"90/7361","text":"Beniamino Accattoli"},{"@pid":"53/2690","text":"Luca Paolini"}]},"title":"Call-by-Value Solvability, Revisited.","venue":"FLOPS","pages":"4-16","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/AccattoliP12","doi":"10.1007/978-3-642-29822-6_4","ee":"https://doi.org/10.1007/978-3-642-29822-6_4","url":"https://dblp.org/rec/conf/flops/AccattoliP12"}, "url":"URL#4411074" }, { "@score":"1", "@id":"4411075", "info":{"authors":{"author":[{"@pid":"15/4904","text":"Sergio Antoy"},{"@pid":"183/5091","text":"Arthur Michener Peters"}]},"title":"Compiling a Functional Logic Language: The Basic Scheme.","venue":"FLOPS","pages":"17-31","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/AntoyP12","doi":"10.1007/978-3-642-29822-6_5","ee":"https://doi.org/10.1007/978-3-642-29822-6_5","url":"https://dblp.org/rec/conf/flops/AntoyP12"}, "url":"URL#4411075" }, { "@score":"1", "@id":"4411076", "info":{"authors":{"author":[{"@pid":"76/2207","text":"Zena M. Ariola"},{"@pid":"90/11109","text":"Paul Downen"},{"@pid":"90/6992","text":"Hugo Herbelin"},{"@pid":"22/1423","text":"Keiko Nakata 0001"},{"@pid":"19/1889","text":"Alexis Saurin"}]},"title":"Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts.","venue":"FLOPS","pages":"32-46","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/AriolaDHNS12","doi":"10.1007/978-3-642-29822-6_6","ee":"https://doi.org/10.1007/978-3-642-29822-6_6","url":"https://dblp.org/rec/conf/flops/AriolaDHNS12"}, "url":"URL#4411076" }, { "@score":"1", "@id":"4411077", "info":{"authors":{"author":[{"@pid":"03/6365","text":"Dariusz Biernacki"},{"@pid":"88/3992","text":"Sergueï Lenglet"}]},"title":"Normal Form Bisimulations for Delimited-Control Operators.","venue":"FLOPS","pages":"47-61","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/BiernackiL12","doi":"10.1007/978-3-642-29822-6_7","ee":"https://doi.org/10.1007/978-3-642-29822-6_7","url":"https://dblp.org/rec/conf/flops/BiernackiL12"}, "url":"URL#4411077" }, { "@score":"1", "@id":"4411078", "info":{"authors":{"author":{"@pid":"04/8157","text":"Gerlof Bouma"}},"title":"Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl).","venue":"FLOPS","pages":"62-72","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Bouma12","doi":"10.1007/978-3-642-29822-6_8","ee":"https://doi.org/10.1007/978-3-642-29822-6_8","url":"https://dblp.org/rec/conf/flops/Bouma12"}, "url":"URL#4411078" }, { "@score":"1", "@id":"4411079", "info":{"authors":{"author":[{"@pid":"42/5386-1","text":"Rafael Caballero 0001"},{"@pid":"98/1185","text":"Yolanda García-Ruiz"},{"@pid":"60/1036","text":"Fernando Sáenz-Pérez"}]},"title":"Declarative Debugging of Wrong and Missing Answers for SQL Views.","venue":"FLOPS","pages":"73-87","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/CaballeroGS12","doi":"10.1007/978-3-642-29822-6_9","ee":"https://doi.org/10.1007/978-3-642-29822-6_9","url":"https://dblp.org/rec/conf/flops/CaballeroGS12"}, "url":"URL#4411079" }, { "@score":"1", "@id":"4411080", "info":{"authors":{"author":[{"@pid":"00/7982","text":"Ignacio Castiñeiras"},{"@pid":"60/1036","text":"Fernando Sáenz-Pérez"}]},"title":"Improving the Performance of FD Constraint Solving in a CFLP System.","venue":"FLOPS","pages":"88-103","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/CastineirasS12","doi":"10.1007/978-3-642-29822-6_10","ee":"https://doi.org/10.1007/978-3-642-29822-6_10","url":"https://dblp.org/rec/conf/flops/CastineirasS12"}, "url":"URL#4411080" }, { "@score":"1", "@id":"4411081", "info":{"authors":{"author":{"@pid":"c/MCodish","text":"Michael Codish"}},"title":"Programming with Boolean Satisfaction.","venue":"FLOPS","pages":"1","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Codish12","doi":"10.1007/978-3-642-29822-6_1","ee":"https://doi.org/10.1007/978-3-642-29822-6_1","url":"https://dblp.org/rec/conf/flops/Codish12"}, "url":"URL#4411081" }, { "@score":"1", "@id":"4411082", "info":{"authors":{"author":[{"@pid":"09/514","text":"Pablo Chico de Guzmán"},{"@pid":"72/789","text":"Manuel Carro"},{"@pid":"h/ManuelVHermenegildo","text":"Manuel V. Hermenegildo"},{"@pid":"s/PeterJStuckey","text":"Peter J. Stuckey"}]},"title":"A General Implementation Framework for Tabled CLP.","venue":"FLOPS","pages":"104-119","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/GuzmanCHS12","doi":"10.1007/978-3-642-29822-6_11","ee":"https://doi.org/10.1007/978-3-642-29822-6_11","url":"https://dblp.org/rec/conf/flops/GuzmanCHS12"}, "url":"URL#4411082" }, { "@score":"1", "@id":"4411083", "info":{"authors":{"author":{"@pid":"h/MakotoHamana","text":"Makoto Hamana"}},"title":"Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell.","venue":"FLOPS","pages":"136-150","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Hamana12","doi":"10.1007/978-3-642-29822-6_13","ee":"https://doi.org/10.1007/978-3-642-29822-6_13","url":"https://dblp.org/rec/conf/flops/Hamana12"}, "url":"URL#4411083" }, { "@score":"1", "@id":"4411084", "info":{"authors":{"author":{"@pid":"12/8883","text":"Yoichi Hirai"}},"title":"A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom.","venue":"FLOPS","pages":"151-165","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Hirai12","doi":"10.1007/978-3-642-29822-6_14","ee":"https://doi.org/10.1007/978-3-642-29822-6_14","url":"https://dblp.org/rec/conf/flops/Hirai12"}, "url":"URL#4411084" }, { "@score":"1", "@id":"4411085", "info":{"authors":{"author":{"@pid":"78/3192","text":"Oleg Kiselyov"}},"title":"Iteratees.","venue":"FLOPS","pages":"166-181","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Kiselyov12","doi":"10.1007/978-3-642-29822-6_15","ee":"https://doi.org/10.1007/978-3-642-29822-6_15","url":"https://dblp.org/rec/conf/flops/Kiselyov12"}, "url":"URL#4411085" }, { "@score":"1", "@id":"4411086", "info":{"authors":{"author":[{"@pid":"15/9861","text":"Jael Kriener"},{"@pid":"k/AndyKing","text":"Andy King"}]},"title":"Mutual Exclusion by Interpolation.","venue":"FLOPS","pages":"182-196","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/KrienerK12","doi":"10.1007/978-3-642-29822-6_16","ee":"https://doi.org/10.1007/978-3-642-29822-6_16","url":"https://dblp.org/rec/conf/flops/KrienerK12"}, "url":"URL#4411086" }, { "@score":"1", "@id":"4411087", "info":{"authors":{"author":{"@pid":"09/4536","text":"Oleg Lobachev"}},"title":"Parallel Computation Skeletons with Premature Termination Property.","venue":"FLOPS","pages":"197-212","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Lobachev12","doi":"10.1007/978-3-642-29822-6_17","ee":"https://doi.org/10.1007/978-3-642-29822-6_17","url":"https://dblp.org/rec/conf/flops/Lobachev12"}, "url":"URL#4411087" }, { "@score":"1", "@id":"4411088", "info":{"authors":{"author":[{"@pid":"13/3175","text":"Sonia Estévez Martín"},{"@pid":"82/4900","text":"Jesús Correas Fernández"},{"@pid":"60/1036","text":"Fernando Sáenz-Pérez"}]},"title":"Extending the TOY System with the ECLiPSe Solver over Sets of Integers.","venue":"FLOPS","pages":"120-135","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/MartinFS12","doi":"10.1007/978-3-642-29822-6_12","ee":"https://doi.org/10.1007/978-3-642-29822-6_12","url":"https://dblp.org/rec/conf/flops/MartinFS12"}, "url":"URL#4411088" }, { "@score":"1", "@id":"4411089", "info":{"authors":{"author":{"@pid":"75/229","text":"Akimasa Morihata"}},"title":"Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems.","venue":"FLOPS","pages":"213-227","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Morihata12","doi":"10.1007/978-3-642-29822-6_18","ee":"https://doi.org/10.1007/978-3-642-29822-6_18","url":"https://dblp.org/rec/conf/flops/Morihata12"}, "url":"URL#4411089" }, { "@score":"1", "@id":"4411090", "info":{"authors":{"author":[{"@pid":"32/85","text":"Kristoffer Høgsbro Rose"},{"@pid":"v/LionelVillard","text":"Lionel Villard"},{"@pid":"94/5331","text":"Naoto Sato"}]},"title":"A Data Flow Language for Hybrid Query and Programming Languages.","venue":"FLOPS","pages":"228-242","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/RoseVS12","doi":"10.1007/978-3-642-29822-6_19","ee":"https://doi.org/10.1007/978-3-642-29822-6_19","url":"https://dblp.org/rec/conf/flops/RoseVS12"}, "url":"URL#4411090" }, { "@score":"1", "@id":"4411091", "info":{"authors":{"author":[{"@pid":"52/8066","text":"Neda Saeedloei"},{"@pid":"g/GopalGupta","text":"Gopal Gupta 0001"}]},"title":"Coinductive Constraint Logic Programming.","venue":"FLOPS","pages":"243-259","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/SaeedloeiG12","doi":"10.1007/978-3-642-29822-6_20","ee":"https://doi.org/10.1007/978-3-642-29822-6_20","url":"https://dblp.org/rec/conf/flops/SaeedloeiG12"}, "url":"URL#4411091" }, { "@score":"1", "@id":"4411092", "info":{"authors":{"author":[{"@pid":"71/8356","text":"Asami Tanaka"},{"@pid":"81/6507","text":"Yukiyoshi Kameyama"}]},"title":"A Call-by-Name CPS Hierarchy.","venue":"FLOPS","pages":"260-274","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/TanakaK12","doi":"10.1007/978-3-642-29822-6_21","ee":"https://doi.org/10.1007/978-3-642-29822-6_21","url":"https://dblp.org/rec/conf/flops/TanakaK12"}, "url":"URL#4411092" }, { "@score":"1", "@id":"4411093", "info":{"authors":{"author":{"@pid":"96/889","text":"Tachio Terauchi"}},"title":"Automated Verification of Higher-Order Functional Programs.","venue":"FLOPS","pages":"2","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Terauchi12","doi":"10.1007/978-3-642-29822-6_2","ee":"https://doi.org/10.1007/978-3-642-29822-6_2","url":"https://dblp.org/rec/conf/flops/Terauchi12"}, "url":"URL#4411093" }, { "@score":"1", "@id":"4411094", "info":{"authors":{"author":[{"@pid":"62/11385","text":"Yoshihiro Tobita"},{"@pid":"97/7182","text":"Takeshi Tsukada"},{"@pid":"k/NaokiKobayashi","text":"Naoki Kobayashi 0001"}]},"title":"Exact Flow Analysis by Higher-Order Model Checking.","venue":"FLOPS","pages":"275-289","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/TobitaTK12","doi":"10.1007/978-3-642-29822-6_22","ee":"https://doi.org/10.1007/978-3-642-29822-6_22","url":"https://dblp.org/rec/conf/flops/TobitaTK12"}, "url":"URL#4411094" }, { "@score":"1", "@id":"4411095", "info":{"authors":{"author":[{"@pid":"16/751","text":"Neil Toronto"},{"@pid":"52/10167","text":"Jay McCarthy"}]},"title":"Computing in Cantor's Paradise with λ ZFC.","venue":"FLOPS","pages":"290-306","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/TorontoM12","doi":"10.1007/978-3-642-29822-6_23","ee":"https://doi.org/10.1007/978-3-642-29822-6_23","url":"https://dblp.org/rec/conf/flops/TorontoM12"}, "url":"URL#4411095" }, { "@score":"1", "@id":"4411096", "info":{"authors":{"author":{"@pid":"58/3050","text":"Markus Triska"}},"title":"The Finite Domain Constraint Solver of SWI-Prolog.","venue":"FLOPS","pages":"307-316","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Triska12","doi":"10.1007/978-3-642-29822-6_24","ee":"https://doi.org/10.1007/978-3-642-29822-6_24","url":"https://dblp.org/rec/conf/flops/Triska12"}, "url":"URL#4411096" }, { "@score":"1", "@id":"4411097", "info":{"authors":{"author":{"@pid":"u/TarmoUustalu","text":"Tarmo Uustalu"}},"title":"Explicit Binds: Effortless Efficiency with and without Trees.","venue":"FLOPS","pages":"317-331","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Uustalu12","doi":"10.1007/978-3-642-29822-6_25","ee":"https://doi.org/10.1007/978-3-642-29822-6_25","url":"https://dblp.org/rec/conf/flops/Uustalu12"}, "url":"URL#4411097" }, { "@score":"1", "@id":"4411098", "info":{"authors":{"author":{"@pid":"w/StephanieWeirich","text":"Stephanie Weirich"}},"title":"Dependently-Typed Programming in GHC.","venue":"FLOPS","pages":"3","year":"2012","type":"Conference and Workshop Papers","access":"closed","key":"conf/flops/Weirich12","doi":"10.1007/978-3-642-29822-6_3","ee":"https://doi.org/10.1007/978-3-642-29822-6_3","url":"https://dblp.org/rec/conf/flops/Weirich12"}, "url":"URL#4411098" }, { "@score":"1", "@id":"4513607", "info":{"authors":{"author":[{"@pid":"s/TomSchrijvers","text":"Tom Schrijvers"},{"@pid":"t/PeterThiemann","text":"Peter Thiemann 0001"}]},"title":"Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings","venue":["FLOPS","Lecture Notes in Computer Science"],"volume":"7294","publisher":"Springer","year":"2012","type":"Editorship","key":"conf/flops/2012","doi":"10.1007/978-3-642-29822-6","ee":"https://doi.org/10.1007/978-3-642-29822-6","url":"https://dblp.org/rec/conf/flops/2012"}, "url":"URL#4513607" } ] } } } )