Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science, 134, Band 134) - Softcover

Staunstrup, J.

 
9783540114901: Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981 (Lecture Notes in Computer Science, 134, Band 134)
Softcover
ISBN 10: 3540114904 ISBN 13: 9783540114901
Verlag: Springer, 2008

Inhaltsangabe

Program specification: Issues and observations.- Example 1: Geometrical constructions.- Example 1: Geometrical constructions.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 2: KWIC - index generation.- Example 3: Communication network.- Example 3: Communication network.- Partial correctness of distributed programs.- Specification of distributed programs.- Robust data types.- A reduction specification for DTL.- Recursive definitions of operations in universal algebras.- The SRDL specification experiment.- Program specification by module trees.- Parameter passing in algebraic specification languages.- A few remarks on putting formal specifications to productive use.- A specification language.- Tecton: A language for manipulating generic objects.- Concurrency.- Workshop on program specification.- List of participants.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2008
Sprache
Englisch
ISBN 10 
3540114904
ISBN 13 
9783540114901
Einband
Taschenbuch
Anzahl der Seiten
440
Kontakt zum Hersteller
ProductSafety@springernature.com
ProductSafety@springernature.com

Poststr. 9
Darmstadt
64293
Deutschland