Pages that link to "Item:Q1199933"
From MaRDI portal
The following pages link to A theory for program and data type specification (Q1199933):
Displaying 13 items.
- Classification of control of types in programs with complex data types (Q582877) (← links)
- Data machines and standards, or the functional specification of information systems (Q1204805) (← links)
- A first order logic of effects (Q1390955) (← links)
- Intermediate representation of programs with type specification based on pattern matching (Q2217191) (← links)
- First-order specifications of programmable data types (Q2719126) (← links)
- Program Synthesis Using Dual Interpretation (Q3454117) (← links)
- (Q3678651) (← links)
- (Q3792223) (← links)
- (Q4040139) (← links)
- Circumscription in Data Logic for Data Type Specification (Q4286217) (← links)
- (Q4494250) (← links)
- Datatype laws without signatures (Q4882491) (← links)
- (Q5376659) (← links)