The following pages link to (Q4692466):
Displayed 10 items.
- Algebraic processing of programming languages (Q1129126) (← links)
- Computations in APS (Q1311970) (← links)
- Origin tracking (Q1322842) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Randnomness, computability, and algebraic specifications (Q1382180) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Relating CASL with other specification languages: the institution level. (Q1853458) (← links)
- Evolution of rule-based programs (Q1878711) (← links)
- Generation of abstract programming interfaces from syntax definitions (Q1885931) (← links)
- A Modular Equational Generalization Algorithm (Q3617428) (← links)