Volume 246, August 2009
- Moreno Falaschi:
Preface.
1-2

- Sa'ed Abed, Otmane Aït Mohamed:
LCF-style Platform based on Multiway Decision Graphs.
3-26

- María Alpuente, Santiago Escobar, José Meseguer, Pedro Ojeda:
Order-Sorted Generalization.
27-38

- Bernd Braßel:
A Technique to Build Debugging Tools for Lazy Functional Logic Languages.
39-53

- Diego Cheda, Josep Silva:
State of the Practice in Algorithmic Debugging.
55-70

- Tommaso Flaminio, Elisa B. P. Tiezzi:
On Metric Temporal Lukasiewicz Logic.
71-85

- Michael Gabbay, Murdoch James Gabbay:
Term Sequent Logic.
87-106

- Murdoch James Gabbay, Dominic P. Mulligan:
Two-level Lambda-calculus.
107-129

- Alexei Lescaylle, Alicia Villanueva:
A Tool for Generating a Symbolic Representation of tccp Executions.
131-145

- Dale Miller:
Formalizing Operational Semantic Specifications in Logic.
147-165

- Manuel Montenegro, Ricardo Peña-Marí, Clara Segura:
A Resource-Aware Semantics and Abstract Machine for a Functional Language with Explicit Deallocation.
167-182

- Susana Muñoz-Hernández, Juan José Moreno-Navarro:
Extending Constructive Logic Negation with Types.
183-198

- Harald Zankl, Christian Sternagel, Aart Middeldorp:
Transforming SAT into Termination of Rewriting.
199-214

Last update Sat May 25 20:07:42 2013
CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page