| Semagraph: the Theory and Practice of Term Graph Rewriting (2007) | |||||||||||||||
Abstract | |||||||||||||||
| Semagraph II is a working group (WG 6345) supported by the CEC basic research directorate. The main aim of Semagraph II has been to mature and promulgate the research results and prototypes developed during the Semagraph I Basic Research Action (BRA 3074). This note outlines the aims and achievements of Semagraph, and provides references to key results. 1 Introduction At an Esprit technical workshop held late in 1987, a number of computational models were considered as a possible basis for a 'common virtual machine' to support European work on various programming languages and architectures, both conventional and novel (e.g. highly parallel). If a single computational model could be found which efficiently supported the various conventional and novel language paradigms, it could be the basis for common intermediate language and associated toolset, as well as a basis for reasoning about the behaviour and performance of hybrid systems built using many programming paradigms and realised ... | |||||||||||||||
Details der Publikation | |||||||||||||||
| |||||||||||||||