default search action

combined dblp search
author search
venue search
publication search

ask others

Program Specification 1981: Aarhus, Denmark

> Home > Conferences and Workshops > Program Specification

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/fm/1981
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/1981
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

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Staunstrup81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Staunstrup81
Jørgen Staunstrup:
Introduction. 1-4
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Horning81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Horning81
James J. Horning:
Issues and Observations. 5-24

Geometrical Constructions

- view
  authority control:
- export record
  dblp key:
  - conf/fm/StaunstrupG81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/StaunstrupG81
Jørgen Staunstrup, Joseph A. Goguen:
Geometrical Constructions. 25-46

KWIC-index generation

- view
  authority control:
- export record
  dblp key:
  - conf/fm/Steensgaard-MadsenHPEKNASGCG81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Steensgaard-MadsenHPEKNASGCG81
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

- view
  authority control:
- export record
  dblp key:
  - conf/fm/NielsenS81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/NielsenS81
Leif Sandegaard Nielsen, Ib Holm Sørensen:
Communication Network. 118-136

Submitted papers

- view
  authority control:
- export record
  dblp key:
  - conf/fm/ColemanG81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ColemanG81
Derek Coleman, Robin M. Gallimore:
Partial Correctness of Distributed Programs. 138-180
- view
  authority control:
- export record
  dblp key:
  - conf/fm/ColemanG81a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/ColemanG81a
Derek Coleman, Robin M. Gallimore:
Specification of Distributed Programs. 181-214
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Cristian81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Cristian81
Flaviu Cristian:
Robust Data Types. 215-254
- view
  authority control:
- export record
  dblp key:
  - conf/fm/HughesP81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/HughesP81
Jane W. Hughes, Malcolm S. Powell:
A Reduction Specification for DTL. 255-267
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Klaeren81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Klaeren81
Herbert Klaeren:
Recursive Definitions of Operations in Universal Algebras. 268-281
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Klaeren81a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Klaeren81a
Herbert Klaeren:
The SRDL Specification Experiment. 282-293
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Steensgaard-Madsen81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Steensgaard-Madsen81
Jørgen Steensgaard-Madsen:
Program Specification by Module Trees. 294-321
- view
  authority control:
- export record
  dblp key:
  - conf/fm/EhrigKTWW81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/EhrigKTWW81
Hartmut Ehrig, Hans-Jörg Kreowski, James W. Thatcher, Eric G. Wagner, Jesse B. Wright:
Parameter Passing in Algebraic Specification Languages. 322-369
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Guttag81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Guttag81
John V. Guttag:
A few Remarks on Putting Formal Specifications to Productive Use. 370-380
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Sorensen81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Sorensen81
Ib Holm Sørensen:
A Specification Language. 381-401
- view
  authority control:
- export record
  dblp key:
  - conf/fm/KapurMS81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/KapurMS81
Deepak Kapur, David R. Musser, Alexander A. Stepanov:
Tecton: A Language for Manipulating Generic Objects. 402-414
- view
  authority control:
- export record
  dblp key:
  - conf/fm/Nielsen81
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/Nielsen81
Leif Sandegaard Nielsen:
Concurrency. 415-422

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.