Term graph rewriting as a specification and implementation framework for concurrent object-oriented programming languages
Date
1995Publisher
IEEESource
Proceedings of the International Conference on Programming Models for Massively Parallel ComputersProceedings of the 1995 2nd International Conference on Programming Models for Massively Parallel Computers
Pages
151-158Google Scholar check
Keyword(s):
Metadata
Show full item recordAbstract
The usefulness of the generalized computational model of Term Graph Rewriting Systems (TGRS) for designing and implementing concurrent object-oriented languages, and also for specifying and reasoning about the interaction between concurrency and object-orientation (such as concurrent synchronization of methods or interference problems between concurrency and inheritance), is examined in this paper by mapping a state-of-the-art functional object-oriented language onto the MONSTR computational model, a restricted form of TGRS specifically designed to act as a point of reference in the design and implementation of declarative and semi-declarative programming languages especially suited for distributed architectures.