Program development by specification and transformation. The PROSPECTRA methodology, language family, and system
From MaRDI portal
Publication:690322
zbMath0825.00088MaRDI QIDQ690322
No author found.
Publication date: 21 November 1993
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
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
