Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDProgram Specification 1981: Aarhus, Denmark
- Jørgen Staunstrup:
Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981. Lecture Notes in Computer Science 134, Springer 1982, ISBN 3-540-11490-4
Introduction
- Jørgen Staunstrup:
Introduction. 1-4 - James J. Horning:
Issues and Observations. 5-24
Geometrical Constructions
- Jørgen Staunstrup, Joseph A. Goguen:
Geometrical Constructions. 25-46
KWIC-index generation
- Jørgen Steensgaard-Madsen, Jane W. Hughes, Malcolm S. Powell, Hartmut Ehrig, Hans-Jörg Kreowski, Leif Sandegaard Nielsen, Jean-Raymond Abrial, Ib Holm Sørensen, Robin M. Gallimore, Derek Coleman, Joseph A. Goguen:
KWIC-index generation. 47-117
Communication Network
- Leif Sandegaard Nielsen, Ib Holm Sørensen:
Communication Network. 118-136
Submitted papers
- Derek Coleman, Robin M. Gallimore:
Partial Correctness of Distributed Programs. 138-180 - Derek Coleman, Robin M. Gallimore:
Specification of Distributed Programs. 181-214 - Flaviu Cristian:
Robust Data Types. 215-254 - Jane W. Hughes, Malcolm S. Powell:
A Reduction Specification for DTL. 255-267 - Herbert Klaeren:
Recursive Definitions of Operations in Universal Algebras. 268-281 - Herbert Klaeren:
The SRDL Specification Experiment. 282-293 - Jørgen Steensgaard-Madsen:
Program Specification by Module Trees. 294-321 - Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages. 322-369 - John V. Guttag:
A few Remarks on Putting Formal Specifications to Productive Use. 370-380 - Ib Holm Sørensen:
A Specification Language. 381-401 - Deepak Kapur, David R. Musser, Alexander A. Stepanov:
Tecton: A Language for Manipulating Generic Objects. 402-414 - Leif Sandegaard Nielsen:
Concurrency. 415-422
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-19 19:19 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:
