Pages that link to "Item:Q1157137"
From MaRDI portal
The following pages link to Programming in a wide spectrum language: A collection of examples (Q1157137):
Displaying 9 items.
- A set-theoretic semantics for Clear (Q791329) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- On a generalized product for domains (Q1311968) (← links)
- Proof systems for structured specifications with observability operators (Q1391730) (← links)
- The definition of Extended ML: A gentle introduction (Q1391731) (← links)
- A Homage to Martin Wirsing (Q5256328) (← links)