ASF+SDF

swMATH11316MaRDI QIDQ23262FDOQ23262

Author name not available (Why is that?)

Cited In (31)

• Generation of abstract programming interfaces from syntax definitions
• Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs
• Anti-patterns for rule-based languages
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• Domain-Specific Language Design Requires Feature Descriptions
• Architectural modifications to deployed software
• Typed generic traversal with term rewriting strategies
• Manipulating algebraic specifications with term-based and graph-based representations
• Declarative rewriting through circular nonterminal attributes
• Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application
• An action environment
• ASF+SDF parsing tools applied to ELAN
• Incremental programming language development
• Automated generation of program translation and verification tools using annotated grammars
• Language prototyping: An algebraic specification approach
• Zipping strategies and attribute grammars
• A Rewriting Logic Approach to Type Inference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Programmable rewriting strategies in Haskell (white paper)
• Title not available (Why is that?)
• Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution
• From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories
• The Third Rewrite Engines Competition
• Title not available (Why is that?)
• CLP(H):Constraint logic programming for hedges
• An account of implementing applicative term rewriting
• Programming Languages and Systems
• Title not available (Why is that?)
• An NSF proposal
• Title not available (Why is that?)

This page was built for software: ASF+SDF