The following pages link to Partial abstract types (Q1169290):
Displaying 28 items.
- Equational type logic (Q752689) (← links)
- A logic covering undefinedness in program proofs (Q790610) (← links)
- A set-theoretic semantics for Clear (Q791329) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- A first order logic for partial functions (Q918965) (← links)
- Non-deterministic data types: Models and implementations (Q1058286) (← links)
- On the Herbrand-Kleene universe for nondeterministic computations (Q1060011) (← links)
- Acceptable functional programming systems (Q1061487) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- Minimal coverings for incompletely specified sequential machines (Q1088411) (← links)
- Specification and top-down design of distributed systems (Q1089790) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Semantics of finite and infinite networks of concurrent communicating agents (Q1090105) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Algebraic specifications of computable and semicomputable data types (Q1098613) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- Equational specification of partial higher-order algebras (Q1102736) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- A theory for program and data type specification (Q1199933) (← links)
- Specification of abstract dynamic-data types: A temporal logic approach (Q1391733) (← links)
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Partial arithmetical data types of rational numbers and their equational specification (Q2168794) (← links)
- Specification and verification challenges for sequential object-oriented programs (Q2643131) (← links)
- (Q3197342) (← links)
- A first order logic for partial functions (Q5096142) (← links)
