Pages that link to "Item:Q2715823"
From MaRDI portal
The following pages link to Language Prototyping: An Algebraic Specification Approach (Q2715823):
Displayed 8 items.
- Tool-assisted specification and verification of typed low-level languages (Q861687) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Polymorphic syntax definition (Q1129122) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- (Q2703695) (← links)
- Semi-automatic grammar recovery (Q4791063) (← links)