Quantifying the implicit process flow abstraction in SBGN-PD diagrams with Bio-PEPA

Quantitative Synthesis for Concurrent Programs

Querying XML Documents in Logic Programming

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