ASF+SDF
From MaRDI portal
Software:23262
No author found.
Related Items (31)
Generation of abstract programming interfaces from syntax definitions ⋮ Manipulating algebraic specifications with term-based and graph-based representations ⋮ Unnamed Item ⋮ A Rewriting Logic Approach to Type Inference ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Zipping strategies and attribute grammars ⋮ Automated generation of program translation and verification tools using annotated grammars ⋮ Typed generic traversal with term rewriting strategies ⋮ CLP(H):Constraint logic programming for hedges ⋮ Unnamed Item ⋮ Unnamed Item ⋮ From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories ⋮ CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. ⋮ Language Prototyping: An Algebraic Specification Approach ⋮ Programming Languages and Systems ⋮ Unnamed Item ⋮ Declarative rewriting through circular nonterminal attributes ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Anti-patterns for rule-based languages ⋮ Incremental programming language development ⋮ Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution ⋮ Architectural modifications to deployed software ⋮ The Third Rewrite Engines Competition ⋮ An action environment ⋮ Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application ⋮ Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs ⋮ An Account of Implementing Applicative Term Rewriting ⋮ An NSF proposal ⋮ Domain-Specific Language Design Requires Feature Descriptions
This page was built for software: ASF+SDF
