Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDScience of Computer Programming, Volume 16
Volume 16, Number 1, July 1991
- Margaret Montenyohl, Mitchell Wand:
Correctness of Static Flow Analysis in Continuation Semantics. 1-18 - Maarten M. Fokkinga:
An Exercise in Transformational Programming: Backtracking and Branch-and-Bound. 19-48 - Ambuj K. Singh:
Specification of Concurrent Objects Using Auxiliary Variables. 49-88
Volume 16, Number 2, September 1991
- Albert Benveniste, Paul Le Guernic, Christian Jacquemot:
Synchronous Programming with Events and Relations: the SIGNAL Language and Its Semantics. 103-149 - Anders Bondorf, Olivier Danvy:
Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types. 151-195
Volume 16, Number 3, October 1991
- Ralf Kneuper
:
Symbolic Execution: A Semantic Approach. 207-249 - Heiko Vogler:
Functional Description of the Contextual Analysis in Block-Structured Programming Languages: A Sase Study of Tree Transducers. 251-275
a service of 
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 2024-04-18 20:20 CEST 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:
