researchr
explore
Tags
Journals
Conferences
Authors
Profiles
Groups
calendar
New Conferences
Events
Deadlines
search
search
You are not signed in
Sign in
Sign up
External Links
Journal
Journal: Science of Computer Programming
Home
Index
Info
Issue
Volume
19
, Issue
2
87
--
152
Gérard Berry
,
Georges Gonthier
.
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
153
--
169
Jan H. Jongejan
.
Correctness of Transformations on Register Transfers
171
--
196
Wim H. Hesselink
.
LR-Parsing Derived