Proceedings of the 11th International Symposium on Functional and Logic Programming
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

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

FP
DBLP
Scholar
DOI
Full names Links ISxN
@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)

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.