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