Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981: 134 - Brossura

Staunstrup, J.

 
9783540114901: Program Specification: Proceedings of a Workshop Aarhus, Denmark, August 1981: 134
Brossura
ISBN 10: 3540114904 ISBN 13: 9783540114901
Casa editrice: Springer, 2008

Contenuti

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.

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Springer
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
3540114904
ISBN 13 
9783540114901
Rilegatura
Copertina flessibile
Numero di pagine
440
Contatto del produttore
non disponibile
Persona responsabile
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Germania