Language Prototyping: An Algebraic Specification Approach
From MaRDI portal
Publication:2715823
DOI10.1142/3163zbMath0962.68114OpenAlexW1575771936MaRDI QIDQ2715823
Paul Klint, Jan Heering, Arie van Deursen
Publication date: 29 May 2001
Published in: AMAST Series in Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1142/3163
Abstract data types; algebraic specification (68Q65) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items
Semi-automatic grammar recovery, Generation of abstract programming interfaces from syntax definitions, Unnamed Item, Equational formulas and pattern operations in initial order-sorted algebras, Linking theorems for tree transducers, Tool-assisted specification and verification of typed low-level languages, Polymorphic syntax definition, The rewriting logic semantics project: a progress report, Twenty years of rewriting logic, Variants and satisfiability in the infinitary unification wonderland, Look-ahead removal for total deterministic top-down tree transducers, A survey of strategies in rule-based program transformation systems, Strict coherence of conditional rewriting modulo axioms, Unnamed Item, Proving operational termination of membership equational programs, Normal forms and normal theories in conditional rewriting, A lightweight approach to datatype-generic rewriting, A rewriting logic approach to operational semantics, The Rewriting Logic Semantics Project: A Progress Report, A Survey of Rewriting Strategies in Program Transformation Systems, A Rewriting Logic Approach to Operational Semantics (Extended Abstract)
Uses Software
