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

From MaRDI portal

Revision as of 09:40, 30 January 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:690322

Jump to:navigation, search

zbMath0825.00088MaRDI QIDQ690322

No author found.

Publication date: 21 November 1993

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

zbMATH Keywords

Program development PROSPECTRA methodology

Mathematics Subject Classification ID

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

Related Items (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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:690322&oldid=12601440"