External Links

Journal: Science of Computer Programming

Volume 19, Issue 3

197 -- 237James H. Anderson, Bojan Groselj. Beyond Atomic Registers: Bounded Wait-Free Implementations of Nontrivial Objects
239 -- 279Fairouz Kamareddine. A System at the Cross-Roads of Functional and Logic Programming
281 -- 313Roberto Barbuti, Roberto Giacobazzi. A Bottom-Up Polymorphic Type Inference in Logic Programming

Volume 19, Issue 2

87 -- 152Gérard Berry, Georges Gonthier. The Esterel Synchronous Programming Language: Design, Semantics, Implementation
153 -- 169Jan H. Jongejan. Correctness of Transformations on Register Transfers
171 -- 196Wim H. Hesselink. LR-Parsing Derived

Volume 19, Issue 1

1 -- 23Edgar Knapp. Derivation of Concurrent Programs: Two Examples
25 -- 59Guy-René Perrin, Jean-Pierre Finance. Communication Relations: A Paradigm for Parallel Program Design
61 -- 85Debasish Banerjee. A Technique for Solving a Class of Puadratic FP Equations
runs on