Language Prototyping: An Algebraic Specification Approach
From MaRDI portal
Publication:2715823
DOI10.1142/3163zbMath0962.68114MaRDI 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
68Q65: Abstract data types; algebraic specification
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
Semi-automatic grammar recovery, The rewriting logic semantics project: a progress report, Strict coherence of conditional rewriting modulo axioms, Normal forms and normal theories in conditional rewriting, Tool-assisted specification and verification of typed low-level languages, Look-ahead removal for total deterministic top-down tree transducers, A rewriting logic approach to operational semantics, Polymorphic syntax definition, Generation of abstract programming interfaces from syntax definitions, Twenty years of rewriting logic, Proving operational termination of membership equational programs, A survey of strategies in rule-based program transformation systems, Unnamed Item, Equational formulas and pattern operations in initial order-sorted algebras, Linking theorems for tree transducers, Unnamed Item, A Survey of Rewriting Strategies in Program Transformation Systems, A Rewriting Logic Approach to Operational Semantics (Extended Abstract), A lightweight approach to datatype-generic rewriting, The Rewriting Logic Semantics Project: A Progress Report
Uses Software