default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID12. FLOPS 2014: Kanazawa, Japan
- Michael Codish
, Eijiro Sumii:
Functional and Logic Programming - 12th International Symposium, FLOPS 2014, Kanazawa, Japan, June 4-6, 2014. Proceedings. Lecture Notes in Computer Science 8475, Springer 2014, ISBN 978-3-319-07150-3 - Cláudio Amaral, Mário Florido, Vítor Santos Costa:
PrologCheck - Property-Based Testing in Prolog. 1-17 - Koen Claessen, Jonas Duregård, Michal H. Palka:
Generating Constrained Random Data with Uniform Distribution. 18-34 - Sheng Chen, Martin Erwig:
Guided Type Debugging. 35-51 - Adrián Riesco:
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. 52-68 - Karim Barkati, Haisheng Wang, Pierre Jouvelot:
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing - System Description. 69-85 - Oleg Kiselyov:
The Design and Implementation of BER MetaOCaml - System Description. 86-102 - Yuichiro Hanada, Atsushi Igarashi:
On Cross-Stage Persistence in Multi-Stage Programming. 103-118 - Jeremy Yallop, Leo White:
Lightweight Higher-Kinded Polymorphism. 119-135 - José Pedro Magalhães:
Generic Programming with Multiple Parameters. 136-151 - Jan Hoffmann, Zhong Shao:
Type-Based Amortized Resource Analysis with Integers and Arrays. 152-168 - Jorge Luis Sacchini:
Linear Sized Types in the Calculus of Constructions. 169-185 - Akimasa Morihata, Masato Koishi, Atsushi Ohori:
Dynamic Programming via Thinning and Incrementalization. 186-202 - Martin Sulzmann, Kenny Zhuo Ming Lu:
POSIX Regular Expression Parsing with Derivatives. 203-220 - Patrick Bahr:
Proving Correctness of Compilers Using Structured Graphs. 221-237 - Hyunik Na, Sukyoung Ryu:
A New Formalization of Subtyping to Match Subclasses to Subtypes. 238-252 - Thibaut Balabonski, François Pottier, Jonathan Protzenko:
Type Soundness and Race Freedom for Mezzo. 253-269 - Jael Kriener, Andy King:
Semantics for Prolog with Cut - Revisited. 270-284 - Besik Dundua, Mário Florido, Temur Kutsia, Mircea Marin:
Constraint Logic Programming for Hedges: A Semantic Reconstruction. 285-301 - Pawel Parys:
How Many Numbers Can a Lambda-Term Contain? 302-318 - Akihisa Yamada, Sarah Winkler, Nao Hirokawa, Aart Middeldorp:
AC-KBO Revisited. 319-335 - Xiaojuan Cai, Mizuhito Ogawa:
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata. 336-352
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-10-13 23:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
