default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 19
Volume 19, Number 1, October 1992
- Edgar Knapp:
Derivation of Concurrent Programs: Two Examples. 1-23 - Guy-René Perrin, Jean-Pierre Finance:
Communication Relations: A Paradigm for Parallel Program Design. 25-59 - Debasish Banerjee:
A Technique for Solving a Class of Puadratic FP Equations. 61-85
Volume 19, Number 2, November 1992
- Gérard Berry, Georges Gonthier:
The Esterel Synchronous Programming Language: Design, Semantics, Implementation. 87-152 - Jan H. Jongejan:
Correctness of Transformations on Register Transfers. 153-169 - Wim H. Hesselink:
LR-Parsing Derived. 171-196
Volume 19, Number 3, December 1992
- James H. Anderson, Bojan Groselj:
Beyond Atomic Registers: Bounded Wait-Free Implementations of Nontrivial Objects. 197-237 - Fairouz Kamareddine:
A System at the Cross-Roads of Functional and Logic Programming. 239-279 - Roberto Barbuti, Roberto Giacobazzi:
A Bottom-Up Polymorphic Type Inference in Logic Programming. 281-313
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
