Programming in MODULA-2 (3rd corrected ed.)
Programming in MODULA-2 (3rd corrected ed.)
Deriving and using destructive data types
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
A survey and classification of some program transformation approaches and techniques
The IFIP TC2/WG 2.1 Working Conference on Program specification and transformation
Abstract datatypes, specialization, and program reuse
An international workshop on Advanced programming environments
Formal Program Construction by Transformations-Computer-Aided, Intuition-Guided Programming
IEEE Transactions on Software Engineering
Keynote address - data abstraction and hierarchy
OOPSLA '87 Addendum to the proceedings on Object-oriented programming systems, languages and applications (Addendum)
A Transformation System for Developing Recursive Programs
Journal of the ACM (JACM)
Communications of the ACM
Compilers and staging transformations
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The Vienna Development Method: The Meta-Language
The Vienna Development Method: The Meta-Language
Expression procedures and program derivation
Expression procedures and program derivation
Views for tools in integrated environments
Views for tools in integrated environments
Hi-index | 0.00 |