The following pages link to ASF+SDF (Q23262):
Displaying 31 items.
- Architectural modifications to deployed software (Q703582) (← links)
- An NSF proposal (Q815007) (← links)
- Anti-patterns for rule-based languages (Q968527) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM. (Q1422256) (← links)
- From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories (Q1704601) (← links)
- Declarative rewriting through circular nonterminal attributes (Q1749127) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Zipping strategies and attribute grammars (Q2163164) (← links)
- Incremental programming language development (Q2485088) (← links)
- An action environment (Q2499823) (← links)
- Automated generation of program translation and verification tools using annotated grammars (Q2653929) (← links)
- (Q2703695) (← links)
- Language Prototyping: An Algebraic Specification Approach (Q2715823) (← links)
- (Q2722018) (← links)
- (Q2849586) (← links)
- An Account of Implementing Applicative Term Rewriting (Q2866805) (← links)
- Domain-Specific Language Design Requires Feature Descriptions (Q3150022) (← links)
- A Rewriting Logic Approach to Type Inference (Q3184729) (← links)
- Automated Deadlock Detection in Synchronized Reentrant Multithreaded Call-Graphs (Q3401092) (← links)
- Minimal Tree Language Extensions: A Keystone of XML Type Compatibility and Evolution (Q3585042) (← links)
- (Q4222988) (← links)
- (Q4255542) (← links)
- (Q4415119) (← links)
- <i>CLP(H):</i>Constraint logic programming for hedges (Q4593022) (← links)
- (Q4738382) (← links)
- (Q4738383) (← links)
- The Third Rewrite Engines Competition (Q4933291) (← links)
- Programming Languages and Systems (Q5464043) (← links)
- Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application (Q5757944) (← links)
