Abstract is missing.
- Formalization and Execution of Linear Algebra: From Theorems to AlgorithmsJesús Aransay, Jose Divasón. 1-18 [doi]
- Information Flow in Object-Oriented SoftwareBernhard Beckert, Daniel Bruns, Vladimir Klebanov, Christoph Scheben, Peter H. Schmitt, Mattias Ulbrich. 19-37 [doi]
- A Transformational Approach to Resource Analysis with Typed-NormsElvira Albert, Samir Genaim, Raúl Gutiérrez. 38-53 [doi]
- A Finite Representation of the Narrowing SpaceNaoki Nishida 0001, Germán Vidal. 54-71 [doi]
- Energy Consumption Analysis of Programs Based on XMOS ISA-Level ModelsUmer Liqat, Steve Kerrison, Alejandro Serrano, Kyriakos Georgiou, Pedro López-García, Neville Grech, Manuel V. Hermenegildo, Kerstin Eder. 72-90 [doi]
- From Outermost Reduction Semantics to Abstract MachineOlivier Danvy, Jacob Johannsen. 91-108 [doi]
- Towards Erlang Verification by Term RewritingGermán Vidal. 109-126 [doi]
- Extending Co-logic Programs for Branching-Time Model CheckingHirohisa Seki. 127-144 [doi]
- Towards the Implementation of a Source-to-Source Transformation Tool for CHR Operational SemanticsGhada Fakhry, Nada Sharaf, Slim Abdennadher. 145-163 [doi]
- A Logical Encoding of Timed $$\pi $$ -CalculusNeda Saeedloei. 164-182 [doi]
- A New Hybrid Debugging Architecture for EclipseJuan González, David Insa, Josep Silva. 183-201 [doi]
- Compiling a Functional Logic Language: The Fair SchemeSergio Antoy, Andy Jost. 202-219 [doi]
- Generating Specialized Interpreters for Modular Structural Operational SemanticsCasper Bach Poulsen, Peter D. Mosses. 220-236 [doi]