Language prototyping: An algebraic specification approach

DOI10.1142/3163MaRDI QIDQ2715823zbMATH OpenOpenAlexFDO

Authors Arie van Deursen, J. Heering, P. Klint

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

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 3936497
• Prototyping realistic programming languages based on formal specifications
• scientific article; zbMATH DE number 512880
• scientific article; zbMATH DE number 2000442
• scientific article; zbMATH DE number 1487948

Cited in

(31)

• A rewriting logic approach to operational semantics
• Polymorphic syntax definition
• Revised report on the algorithmic language scheme
• Prototyping realistic programming languages based on formal specifications
• 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
• Equational formulas and pattern operations in initial order-sorted algebras
• Linking theorems for tree transducers
• Abstract language design
• ASF+SDF parsing tools applied to ELAN
• A survey of rewriting strategies in program transformation systems
• Term rewriting with type-safe traversal functions
• A rewriting logic approach to operational semantics (extended abstract)
• A lightweight approach to datatype-generic rewriting
• The rewriting logic semantics project: a progress report
• smgn: Rapid Prototyping of Small Domain-Specific Languages
• scientific article; zbMATH DE number 3881872 (Why is no real title available?)
• scientific article; zbMATH DE number 3936497 (Why is no real title available?)
• The rewriting logic semantics project: a progress report
• scientific article; zbMATH DE number 512880 (Why is no real title available?)
• scientific article; zbMATH DE number 512889 (Why is no real title available?)
• scientific article; zbMATH DE number 2000442 (Why is no real title available?)
• scientific article; zbMATH DE number 1487948 (Why is no real title available?)
• Semi-automatic grammar recovery
• Variants and satisfiability in the infinitary unification wonderland
• 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

Describes a project that uses

Uses Software

• ASF+SDF

This page was built for publication: Language prototyping: An algebraic specification approach

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2715823)