Rascal: From Algebraic Specification to Meta-Programming

Reactive concurrent programming revisited

Reactive Imperative Programming with Dataflow Constraints

Reactive Programming in Standard ML

Reasoning About a Service-oriented Programming Paradigm

REC language is a live on IBM1130 simulator, EL lenguaje REC esta vivo en el simulador de la IBM 1130

Record of the Solar Activity and of Other Geophysical Phenomenons in Tree Ring

Recovering Grammar Relationships for the Java Language Specification

Recurrence with affine level mappings is P-time decidable for CLP(R)

RedAlert: Determinacy Inference for Prolog

Reducing Fuzzy Answer Set Programming to Model Finding in Fuzzy Logics

Reducing the Number of Annotations in a Verification-oriented Imperative Language

Reduction Strategies in Lambda Term Normalization and their Effects on Heap Usage

Refinement Types for Logical Frameworks and Their Interpretation as Proof Irrelevance

Reflection and Hyper-Programming in Persistent Programming Systems

Reflection-based language support for the heterogeneous capture and restoration of running computations

Region-based memory management for Mercury programs

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