A Metamodel of Unit Testing for Object-Oriented Programming Languages

A Model of Cooperative Threads

A Model-Driven Parser Generator, from Abstract Syntax Trees to Abstract Syntax Graphs

A Monadic Formalization of ML5

A Multi-way Constraint Computational Model with Purple Constraint Solver for Direct Execution of the Specification

A New Numerical Abstract Domain Based on Difference-Bound Matrices

A non-local method for robustness analysis of floating point programs

A Non-Null Annotation Inferencer for Java Bytecode

A Non-Standard Semantics for Kahn Networks in Continuous Time

A Non-Termination Criterion for Binary Constraint Logic Programs

A Polymorphic Groundness Analysis of Logic Programs

A Polyvariant Binding-Time Analysis for Off-line Partial Deduction

A Program Transformation for Continuation Call-Based Tabled Execution

A Programmer-Centric Approach to Program Verification in ATS

A progression ring for interfaces of instruction sequences, threads, and services

A Prolog-based Environment for Reasoning about Programming Languages (Extended abstract)

A Proof Theoretic Approach to Failure in Functional Logic Programming

A protocol for instruction stream processing

A Rational Deconstruction of Landin's SECD Machine with the J Operator

A Register Allocation Algorithm in the Presence of Scalar Replacement for Fine-Grain Configurable Architectures