Theoretical Foundations of an Environment-Based Multiparadigm Language

Article type: Research Article

Authors: Blažević, Mario | Budimac, Zoran | Ivanović, Mirjana

Affiliations: Institute of Mathematics, Faculty of Science, University of Novi Sad, Trg D. Obradovića 4, 21000 Novi Sad, Yugoslavia. E-mail: bmario@eunet.yu, zjb@unsim.ns.ac.yu, mira@unsim.ns.ac.yu

Abstract: 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 language: it has been used for definition of semantics and for implementation of functional, logical, 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 language constructs of different programming paradigms can be defined in GENS.

Keywords: λ-calculus, programming languages, rewriting systems, lambda calculus, programming paradigms, multi-paradigm

DOI: 10.3233/INF-2000-11101

Journal: Informatica, vol. 11, no. 1, pp. 3-14, 2000