On the Correctness of Semantic-Syntax-Directed Translations
Journal of the ACM (JACM)
Data Flow Analysis in Software Reliability
ACM Computing Surveys (CSUR)
The Theory of Parsing, Translation, and Compiling
The Theory of Parsing, Translation, and Compiling
Data abstraction: A static implementation strategy
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Toolpack - an experimental software development environment research project
ICSE '82 Proceedings of the 6th international conference on Software engineering
Hi-index | 0.00 |
This paper describes the motivation, design, implementation, and some preliminary performance characteristics of BIGMAC II, a macro definition capability for creating language enhancers and translators. BIGMAC II enables the user to specify transformations through STREX, a FORTRAN-like language, which enables the specification of macros which are then used to interpretively alter incoming programs. BIGMAC II is specially adapted to the processing of FORTRAN programs. This paper shows how it can be used as a deprocedurizer (or flattener), a dialect-to-dialect translator, a portability and version control aid, and a device for creating language enhancements as sophisticated as new control structures and abstract data types.