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