Journal: Science of Computer 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