FLOPS 2012: Accepted Papers
Research Papers
-
Akimasa Morihata.
Calculational Developements of New Parallel Algorithms for Size-constrained Maximum-Sum Segment Problems -
Rafael Caballero, Yolanda García-Ruiz and Fernando Saenz-Perez.
Declarative Debugging of Wrong and Missing Answers for SQL Views -
Gerlof Bouma.
Real-time Persistent Queues and Deques with Logic Variables (Declarative Pearl) -
Kristoffer Rose, Lionel Villard and Naoto Sato.
A Data Flow Calculus for Hybrid Query and Programming Languages -
Makoto Hamana.
Constructing Correct Looping Arrows from Cyclic Terms: Traced Categorical Interpretation in Haskell -
Sergio Antoy and Arthur Peters.
Compiling a Functional Logic Language -
Yoshihiro Tobita, Takeshi Tsukada and Naoki Kobayashi.
Exact Flow Analysis by Higher-Order Model Checking -
Yoichi Hirai.
A Lambda Calculus for Goedel-Dummett Logic Capturing Waitfreedom -
Dariusz Biernacki and Sergueï Lenglet.
Normal Form Bisimulations for Delimited-Control Operators -
Sonia Estévez-Martín, Jesús Correas Fernández and Fernando Saenz-Perez.
Extending the TOY System with the ECLIPSE Solver over Sets of Integers -
Pablo Chico De Guzmán, Manuel Carro, Manuel Hermenegildo and Peter Stuckey.
A General Implementation Framework for TCLP -
Asami Tanaka and Yukiyoshi Kameyama.
A Call-by-Name CPS Hierarchy -
Jael Kriener and Andy King.
Mutual Exclusion by Interpolation -
Beniamino Accattoli and Luca Paolini.
Call-by-value solvability, revisited -
Neda Saeedloei and Gopal Gupta.
Coinductive Constraint Logic Programming -
Zena Ariola, Paul Downen, Hugo Herbelin, Keiko Nakata and Alexis Saurin.
Classical call-by-need sequent calculi: The unity of semantic artifacts -
Tarmo Uustalu.
Explicit binds: effortless efficiency with and without trees -
Neil Toronto and Jay McCarthy.
Computing in Cantor's Paradise With Lambda-ZFC -
Oleg Lobachev.
Parallel Computation Skeletons with Premature Termination Property
System Descriptions
-
Markus Triska.
The Finite Domain Constraint Solver of SWI-Prolog -
Ignacio Castiñeiras and Fernando Sáenz-Pérez.
Improving the Performance of FD Constraint Solving in a CFLP System -
Oleg Kiselyov.
Iteratees: System Description
Date: 2012-05-28 16:26:28 JST
HTML generated by org-mode 6.34c in emacs 22