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