Pages that link to "Item:Q796979"
From MaRDI portal
The following pages link to A constructive method for abstract algebraic software specification (Q796979):
Displaying 8 items.
- Modular tree transducers (Q807012) (← links)
- A second order theory of data types (Q1092657) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- An implementation of syntax directed functional programming on nested- stack machines (Q1194207) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Tree transducers with external functions (Q1208712) (← links)
- OBSCURE, a specification language for abstract data types (Q1323328) (← links)
- Weighted parsing for grammar-based language models over multioperator monoids (Q2051800) (← links)
