Electronic Notes in Theoretical Computer Science, Volume 246

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