A resource analysis of the pi-calculus

A Semantics-Aware Editing Environment for Prolog in Eclipse

A simple and efficient explicit parallelization of logic programs using low-level threading primitives

A Simple, Linear-Time Algorithm for x86 Jump Encoding

A sound spatio-temporal Hoare logic for the verification of structured interactive programs with registers and voices

A Static Analyzer for Large Safety-Critical Software

A Step-indexed Semantic Model of Types for the Call-by-Name Lambda Calculus

A Step-indexed Semantics of Imperative Objects

A structured alternative to Prolog with simple compositional semantics

A Study of Language Usage Evolution in Open Source Software

A Survey of Quantum Programming Languages: History, Methods, and Tools

A system for reflection in C++

A Theory of Explicit Substitutions with Safe and Full Composition

A treatment of higher-order features in logic programming

A Tribute to Alain Colmerauer

A type checking algorithm for qualified session types

A Type System For Call-By-Name Exceptions

A Type System for Parallel Components

A Type System for Unstructured Locking that Guarantees Deadlock Freedom without Imposing a Lock Ordering

A uniform approach to constraint-solving for lists, multisets, compact lists, and sets