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

zbMATH Open0825.00088MaRDI QIDQ690322FDOQ690322

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)

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

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)