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

@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)

3 ×#multi
3 ×#programming
3 ×#semantics
2 ×#debugging
2 ×#named
2 ×#prolog
2 ×#revisited
2 ×#type system
2 ×#using

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.