Language Prototyping: An Algebraic Specification Approach

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

zbMATH Keywords

algebraic specificationlanguage prototyping

Mathematics Subject Classification ID

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

• ASF+SDF

This page was built for publication: Language Prototyping: An Algebraic Specification Approach