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
A relational database approach to astronomical research