A 15 Year Perspective on Automatic Programming
IEEE Transactions on Software Engineering - Special issue on artificial intelligence and software engineering
Compilers: principles, techniques, and tools
Compilers: principles, techniques, and tools
Taming the tiger: software engineering and software economics
Taming the tiger: software engineering and software economics
Toward a multiformalism specification environment
Toward a multiformalism specification environment
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
Implementing remote procedure calls
ACM Transactions on Computer Systems (TOCS)
On defining semantics by means of extended attribute grammars
Semantics-Directed Compiler Generation, Proceedings of a Workshop
ACM SIGPLAN Notices
A transformational approach to generating application-specific environments
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
| Hi-index | 0.00 |
This paper describes initial work on a software development environment capable of smoothly integrating modules written in different languages. The focus of this work is on supporting the construction of executable, multi-formalism specifications, where each part of a problem is described in a language that is close to its underlying domain. We distinguish specifications from programs to emphasize the closeness of the formalism to these domains rather than underlying computational models, and to indicate that we are not attempting to integrate existing implementations of programming languages. Rather, we provide a grammar-based framework for the construction and integration of interpreters for different specification formalisms. The key to our approach is that formalisms communicate through grammatically described interfaces. Such interfaces hide incompatible aspects of different formalisms, allowing new combinations of formalisms to be created easily.