default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. FLOPS 2012: Kobe, Japan
- Tom Schrijvers
, Peter Thiemann:
Functional and Logic Programming - 11th International Symposium, FLOPS 2012, Kobe, Japan, May 23-25, 2012. Proceedings. Lecture Notes in Computer Science 7294, Springer 2012, ISBN 978-3-642-29821-9 - Michael Codish:
Programming with Boolean Satisfaction. 1 - Tachio Terauchi:
Automated Verification of Higher-Order Functional Programs. 2 - Stephanie Weirich:
Dependently-Typed Programming in GHC. 3 - Beniamino Accattoli, Luca Paolini:
Call-by-Value Solvability, Revisited. 4-16 - Sergio Antoy, Arthur Michener Peters:
Compiling a Functional Logic Language: The Basic Scheme. 17-31 - Zena M. Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata, Alexis Saurin:
Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts. 32-46 - Dariusz Biernacki, Sergueï Lenglet:
Normal Form Bisimulations for Delimited-Control Operators. 47-61 - Gerlof Bouma:
Real-Time Persistent Queues and Deques with Logic Variables (Declarative Pearl). 62-72 - Rafael Caballero, Yolanda García-Ruiz, Fernando Sáenz-Pérez:
Declarative Debugging of Wrong and Missing Answers for SQL Views. 73-87 - Ignacio Castiñeiras, Fernando Sáenz-Pérez:
Improving the Performance of FD Constraint Solving in a CFLP System. 88-103 - Pablo Chico de Guzmán, Manuel Carro, Manuel V. Hermenegildo, Peter J. Stuckey:
A General Implementation Framework for Tabled CLP. 104-119 - Sonia Estévez Martín, Jesús Correas Fernández, Fernando Sáenz-Pérez:
Extending the TOY System with the ECLiPSe Solver over Sets of Integers. 120-135 - Makoto Hamana:
Correct Looping Arrows from Cyclic Terms - Traced Categorical Interpretation in Haskell. 136-150 - Yoichi Hirai:
A Lambda Calculus for Gödel-Dummett Logic Capturing Waitfreedom. 151-165 - Oleg Kiselyov:
Iteratees. 166-181 - Jael Kriener, Andy King:
Mutual Exclusion by Interpolation. 182-196 - Oleg Lobachev:
Parallel Computation Skeletons with Premature Termination Property. 197-212 - Akimasa Morihata:
Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems. 213-227 - Kristoffer Høgsbro Rose, Lionel Villard, Naoto Sato:
A Data Flow Language for Hybrid Query and Programming Languages. 228-242 - Neda Saeedloei, Gopal Gupta:
Coinductive Constraint Logic Programming. 243-259 - Asami Tanaka, Yukiyoshi Kameyama:
A Call-by-Name CPS Hierarchy. 260-274 - Yoshihiro Tobita, Takeshi Tsukada, Naoki Kobayashi:
Exact Flow Analysis by Higher-Order Model Checking. 275-289 - Neil Toronto, Jay McCarthy:
Computing in Cantor's Paradise with λ ZFC. 290-306 - Markus Triska:
The Finite Domain Constraint Solver of SWI-Prolog. 307-316 - Tarmo Uustalu:
Explicit Binds: Effortless Efficiency with and without Trees. 317-331
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-06 20:39 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
