Formal specification of a graph rewriting system with environments


Mario Blažević, Zoran Budimac, Mirjana Ivanović




The paper presents a programming language and rewriting system called GENS (short for Graph ENvironment System). GENS is an extension of graph rewriting systems, with addition of new concepts (attributes and environments). GENS can be used for definition of programming language semantics and for implementation of programming languages. It is also possible to mix features from different programming paradigms into a single programming language. GENS has been used for experimental implementation of several programming languages.