Program development by specification and transformation. The PROSPECTRA methodology, language family, and system

MaRDI QIDQ690322zbMATH OpenFDO

Authors

Publication date 21 November 1993

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

zbMATH Keywords

Program developmentPROSPECTRA methodology

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06)

Review text

The articles of this volume will not be indexed individually.

Cited in

(3)

• Essential concepts of algebraic specification and program development
• Program development schemata as derived rules
• Higher-order matching for program transformation

This page was built for publication: Program development by specification and transformation. The PROSPECTRA methodology, language family, and system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q690322)