Logic programming in the context of multiparadigm programming: the Oz experience

Logic Programming with Satisfiability

Logical Algorithms meets CHR: A meta-complexity result for Constraint Handling Rules with rule priorities

Logical Concurrency Control from Sequential Proofs

Logical Step-Indexed Logical Relations

Logics for XML

LR(1) Parser Generation System: LR(1) Error Recovery, Oracles, and Generic Tokens

LXG Compiler - Design and Implementation

Making Abstract Domains Condensing

Manual and Fast C Code Optimization

Matrix Code: a Language for the Parallel Development of Verification and Program

Mechanistic Behavior of Single-Pass Instruction Sequences

Mechanized semantics

Mechanized semantics for the Clight subset of the C language

MELT - a Translated Domain Specific Language Embedded in the GCC Compiler

Memory and compiler optimizations for low-power and -energy

MiniAgda: Integrating Sized and Dependent Types

Mixed-Initiative Interaction = Mixed Computation

Mixing the Objective Caml and C# Programming Models in the .Net Framework

Models of quantum computation and quantum programming languages