Pages that link to "Item:Q1161277"
From MaRDI portal
The following pages link to Specifications, models, and implementations of data abstractions (Q1161277):
Displaying 5 items.
- The meaning of specifications I: Domains and initial models (Q673181) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Functional un\(|\)unparsing (Q1929354) (← links)
- Abstract implementation of algebraic specifications in a temporal logic language (Q2277861) (← links)
