Theoretical Foundations of an Environment-Based Multiparadigm Language
Mario BLAéEVI, Zoran Budimac · 2000
The paper presents a simple programming language and rewriting system called GENS. It is based on an extension of the -calculus called E-calculus. GENS is a multiparadigm lan- guage: it has been used for definition of semantics and for implementation of functional, logi- cal, procedural, and object-oriented languages. It also allows combining different programming paradigm styles in a single programming language. The purpose of this paper is to define and to introduce the E-calculus - theoretical foundation of GENS. It will also be shown how the most important langauge constructs of different programming paradigms can be defined in GENS.