Register Allocation By Model Transformer Semantics

Regular Expression Subtyping for XML Query and Update Languages

Relational Abstract Domains for the Detection of Floating-Point Run-Time Errors

Relational Parametricity and Control

Relational Parametricity for Computational Effects

Relations, Constraints and Abstractions: Using the Tools of Logic Programming in the Security Industry

Removing Redundant Arguments Automatically

Repetitive Reduction Patterns in Lambda Calculus with letrec (Work in Progress)

Representation Sharing for Prolog

Resource Control for Synchronous Cooperative Threads

Resource control of object-oriented programs

Resource Usage Analysis for the Pi-Calculus

Resumption-based big-step and small-step interpreters for While with interactive I/O

Rewriting Logic Semantics of a Plan Execution Language

Rfuzzy framework

Roles Are Really Great!

RPO, Second-order Contexts, and Lambda-calculus

SAGA: A DSL for Story Management

Sawja: Static Analysis Workshop for Java

Saying Hello World with GrGen.NET - A Solution to the TTC 2011 Instructive Case