Algebraic Methods: Theory, Tools and Applications

Jan A. Bergstra

ISBN 10: 3540516980 / ISBN 13: 9783540516989

Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1989, 1989

Riguardo questo articolo

This item is printed on demand - Print on Demand Titel. Neuware -Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable .- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL .- Description algebra.- The calculus .- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 568 pp. Englisch.

Codice articolo 9783540516989

Dati bibliografici

• Titolo: Algebraic Methods: Theory, Tools and Applications
• Editore: Springer Berlin Heidelberg, Springer Berlin Heidelberg Sep 1989
• Data di pubblicazione: 1989
• Lingua: Inglese
• ISBN 10: 3540516980
• ISBN 13: 9783540516989
• Rilegatura: Taschenbuch
• Condizione: Neu
• Dimensioni: 235 L x 155 A x 31 P (millimetri) 235 millimetri di larghezza per 155 millimetri di altezza per 31 millimetri di profondità
• Peso: 850 grammi

Descrizione articolo

Contenuti

Algebraic specification a step towards future software engineering.- How to make algebraic specifications more understandable?.- Efficient implementation of an algebraic specification language.- An integrated algebraic approach to the specification of data types, processes and objects.- Software specification by behavioural canons.- An introduction to COLD-K.- A formal specification of INGRES.- The logic MPL?.- Description algebra.- The calculus ??.- The RAP system as a tool for testing COLD specifications.- A specification of the intel 8085 microprocessor: A case study.- Specification and prototyping of a compiler for a small applicative language.- Algebraic ADT specifications of an extended relational algebra and their conversion into a working prototype.- ACP? a universal axiom system for process specification.- Modular specifications in process algebra.- An algebraic specification of process algebra, including two examples.