Proceedings of the 12th 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

Michael Codish, Eijiro Sumii
Proceedings of the 12th International Symposium on Functional and Logic Programming
FLOPS, 2014.

FP
DBLP
Scholar
DOI
Full names Links ISxN
@proceedings{FLOPS-2014,
	address       = "Kanazawa, Japan",
	doi           = "10.1007/978-3-319-07151-0",
	editor        = "Michael Codish and Eijiro Sumii",
	isbn          = "978-3-319-07150-3",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Proceedings of the 12th International Symposium on Functional and Logic Programming}",
	volume        = 8475,
	year          = 2014,
}

Contents (21 items)

FLOPS-2014-AmaralFC #named #prolog #testing
PrologCheck — Property-Based Testing in Prolog (CA, MF, VSC), pp. 1–17.
FLOPS-2014-ClaessenDP #generative #random
Generating Constrained Random Data with Uniform Distribution (KC, JD, MHP), pp. 18–34.
FLOPS-2014-ChenE #debugging
Guided Type Debugging (SC, ME), pp. 35–51.
FLOPS-2014-Riesco #debugging #declarative #maude #semantics #using
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging (AR), pp. 52–68.
FLOPS-2014-BarkatiWJ #interpreter #multi #named
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing — System Description (KB, HW, PJ), pp. 69–85.
FLOPS-2014-Kiselyov #design #implementation
The Design and Implementation of BER MetaOCaml — System Description (OK), pp. 86–102.
FLOPS-2014-HanadaI #multi #on the #persistent #programming
On Cross-Stage Persistence in Multi-Stage Programming (YH, AI), pp. 103–118.
FLOPS-2014-YallopW #lightweight #morphism #polymorphism
Lightweight Higher-Kinded Polymorphism (JY, LW), pp. 119–135.
FLOPS-2014-Magalhaes #multi #parametricity #programming
Generic Programming with Multiple Parameters (JPM), pp. 136–151.
FLOPS-2014-HoffmannS #analysis #array #integer #type system
Type-Based Amortized Resource Analysis with Integers and Arrays (JH, ZS), pp. 152–168.
FLOPS-2014-Sacchini #calculus #linear
Linear Sized Types in the Calculus of Constructions (JLS), pp. 169–185.
FLOPS-2014-MorihataKO #programming
Dynamic Programming via Thinning and Incrementalization (AM, MK, AO), pp. 186–202.
FLOPS-2014-SulzmannL #parsing #regular expression
POSIX Regular Expression Parsing with Derivatives (MS, KZML), pp. 203–220.
FLOPS-2014-Bahr #compilation #correctness #graph #proving #using
Proving Correctness of Compilers Using Structured Graphs (PB), pp. 221–237.
FLOPS-2014-NaR #formal method #subclass #type system
A New Formalization of Subtyping to Match Subclasses to Subtypes (HN, SR), pp. 238–252.
FLOPS-2014-BalabonskiPP
Type Soundness and Race Freedom for Mezzo (TB, FP, JP), pp. 253–269.
FLOPS-2014-KrienerK #prolog #revisited #semantics
Semantics for Prolog with Cut — Revisited (JK, AK), pp. 270–284.
FLOPS-2014-DunduaFKM #constraints #logic programming #re-engineering #semantics
Constraint Logic Programming for Hedges: A Semantic Reconstruction (BD, MF, TK, MM), pp. 285–301.
FLOPS-2014-Parys #how #question
How Many Numbers Can a λ-Term Contain? (PP), pp. 302–318.
FLOPS-2014-YamadaWHM #revisited
AC-KBO Revisited (AY, SW, NH, AM), pp. 319–335.
FLOPS-2014-CaiO #automaton
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata (XC, MO), pp. 336–352.

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.