![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Program 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.