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)

Cited in

(3)

• Program development schemata as derived rules
• Essential concepts of algebraic specification and program development
• 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)