Tom Schrijvers, Peter Thiemann
Proceedings of the 11th International Symposium on Functional and Logic Programming
FLOPS, 2012.

@proceedings{FLOPS-2012,
	address       = "Kobe, Japan",
	doi           = "10.1007/978-3-642-29822-6",
	editor        = "Tom Schrijvers and Peter Thiemann",
	isbn          = "978-3-642-29821-9",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 11th International Symposium on Functional and Logic Programming}",
	volume        = 7294,
	year          = 2012,
}

Contents (25 items)

3 ×#call-by
3 ×#constraints
3 ×#logic
2 ×#declarative
2 ×#functional
2 ×#haskell
2 ×#higher-order
2 ×#parallel
2 ×#performance
2 ×#programming

FLOPS-2012-Codish #programming

Programming with Boolean Satisfaction (MC), p. 1.

FLOPS-2012-Terauchi #automation #functional #higher-order #source code #verification

Automated Verification of Higher-Order Functional Programs (TT), p. 2.

FLOPS-2012-Weirich #haskell #programming

Dependently-Typed Programming in GHC (SW), p. 3.

FLOPS-2012-AccattoliP #call-by #revisited

Call-by-Value Solvability, Revisited (BA, LP), pp. 4–16.

FLOPS-2012-AntoyP #compilation #functional #logic

Compiling a Functional Logic Language: The Basic Scheme (SA, AP), pp. 17–31.

FLOPS-2012-AriolaDHNS #calculus #call-by #semantics

Classical Call-by-Need Sequent Calculi: The Unity of Semantic Artifacts (ZMA, PD, HH, KN, AS), pp. 32–46.

FLOPS-2012-BiernackiL #bisimulation #normalisation

Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.

FLOPS-2012-Bouma #logic #persistent #realtime

Real-Time Persistent Queues and Deques with Logic Variables (GB), pp. 62–72.

FLOPS-2012-CaballeroGS #debugging #declarative #sql

Declarative Debugging of Wrong and Missing Answers for SQL Views (RC, YGR, FSP), pp. 73–87.

FLOPS-2012-CastineirasS #constraints #performance #theorem proving

Improving the Performance of FD Constraint Solving in a CFLP System (IC, FSP), pp. 88–103.

FLOPS-2012-GuzmanCHS #framework #implementation

A General Implementation Framework for Tabled CLP (PCdG, MC, MVH, PJS), pp. 104–119.

FLOPS-2012-MartinFS #eclipse #integer #set

Extending the TOY System with the ECLiPSe Solver over Sets of Integers (SEM, JCF, FSP), pp. 120–135.

FLOPS-2012-Hamana #category theory #haskell

Correct Looping Arrows from Cyclic Terms — Traced Categorical Interpretation in Haskell (MH), pp. 136–150.

FLOPS-2012-Hirai #logic #λ-calculus

A λ Calculus for Gödel-Dummett Logic Capturing Waitfreedom (YH), pp. 151–165.

FLOPS-2012-Kiselyov

Iteratees (OK), pp. 166–181.

FLOPS-2012-KrienerK

Mutual Exclusion by Interpolation (JK, AK), pp. 182–196.

FLOPS-2012-Lobachev #parallel #termination

Parallel Computation Skeletons with Premature Termination Property (OL), pp. 197–212.

FLOPS-2012-Morihata #algorithm #parallel #problem

Calculational Developments of New Parallel Algorithms for Size-Constrained Maximum-Sum Segment Problems (AM), pp. 213–227.

FLOPS-2012-RoseVS #data flow #hybrid #programming language #query

A Data Flow Language for Hybrid Query and Programming Languages (KHR, LV, NS), pp. 228–242.

FLOPS-2012-SaeedloeiG #constraints #induction #logic programming

Coinductive Constraint Logic Programming (NS, GG), pp. 243–259.

FLOPS-2012-TanakaK #call-by #continuation

A Call-by-Name CPS Hierarchy (AT, YK), pp. 260–274.

FLOPS-2012-TobitaTK #analysis #higher-order #model checking

Exact Flow Analysis by Higher-Order Model Checking (YT, TT, NK), pp. 275–289.

FLOPS-2012-TorontoM

Computing in Cantor’s Paradise with λ ZFC (NT, JM), pp. 290–306.

FLOPS-2012-Triska #constraints #finite #prolog #theorem proving

The Finite Domain Constraint Solver of SWI-Prolog (MT), pp. 307–316.

FLOPS-2012-Uustalu #performance

Explicit Binds: Effortless Efficiency with and without Trees (TU), pp. 317–331.