E-Books durchsuchen

Functional and Logic Programming [2014]

1
PrologCheck – Property-Based Testing in Prolog
18
Generating Constrained Random Data with Uniform Distribution
35
Guided Type Debugging
52
Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging
69
Faustine: A Vector Faust Interpreter Test Bed for Multimedia Signal Processing
86
The Design and Implementation of BER MetaOCaml
103
On Cross-Stage Persistence in Multi-Stage Programming
119
Lightweight Higher-Kinded Polymorphism
136
Generic Programming with Multiple Parameters
152
Type-Based Amortized Resource Analysis with Integers and Arrays
169
Linear Sized Types in the Calculus of Constructions
186
Dynamic Programming via Thinning and Incrementalization
203
POSIX Regular Expression Parsing with Derivatives
221
Proving Correctness of Compilers Using Structured Graphs
238
A New Formalization of Subtyping to Match Subclasses to Subtypes
253
Type Soundness and Race Freedom for Mezzo
270
Semantics for Prolog with Cut – Revisited
285
Constraint Logic Programming for Hedges: A Semantic Reconstruction
302
How Many Numbers Can a Lambda-Term Contain?
319
AC-KBO Revisited
336
Well-Structured Pushdown System: Case of Dense Timed Pushdown Automata
Feedback