Book Chapter
How to cope with the Spectrum of Spectrum
U. Wolter, K. Didrich, F. Cornelius, M. Klar and R. Wessäly, et al.
Lecture Notes in Computer Science, 1995, Volume 1009, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Pages 173-189
Book Chapter
Programming in the large: The algebraic-functional language Opal 2α
Klaus Didrich, Wolfgang Grieskamp, Christian Maeder and Peter Pepper
Lecture Notes in Computer Science, 1998, Volume 1467, Implementation of Functional Languages, Pages 322-337
Book Chapter
Algorithm theories and design tactics
Douglas R. Smith and Michael R. Lowry
Lecture Notes in Computer Science, 1989, Volume 375, Mathematics of Program Construction, Pages 379-398
Book Chapter
KORSO reference languages concepts and application domains
H. -D. Ehrich
Lecture Notes in Computer Science, 1995, Volume 1009, KORSO: Methods, Languages, and Tools for the Construction of Correct Software, Pages 148-172
Book Chapter
Toward knowledge-based specifications of languages
Merik Meriste and Jaan Penjam
Lecture Notes in Computer Science, 1991, Volume 502, Baltic Computer Science, Pages 65-76
Book Chapter
Towards a General Template Introspection Library
István Zólyomi and Zoltán Porkoláb
Lecture Notes in Computer Science, 2004, Volume 3286, Generative Programming and Component Engineering, Pages 1-14
Book Chapter
Internal conceptual modeling: Graph grammar specifications
Lecture Notes in Computer Science, 1996, Volume 1170, Building Tightly Integrated Software Development Environments: The IPSEN Approach, Pages 247-377
Book Chapter
Automating the design of algorithms
Douglas R. Smith
Lecture Notes in Computer Science, 1993, Volume 755, Formal Program Development, Pages 324-354
Book Chapter
The version management architecture of an object-oriented distributed systems environment: OZ++
Michiharu Tsukamoto, Yoichi Hamazaki, Toshihiro Nishioka and Hideyuki Otokawa
Lecture Notes in Computer Science, 1996, Volume 1107, Object-Based Parallel and Distributed Computation, Pages 310-328
Book Chapter
Efficient implementation of an algebraic specification language
H. Klaeren and K. Indermark
Lecture Notes in Computer Science, 1989, Volume 394, Algebraic Methods: Theory, Tools and Applications, Pages 69-90