Pages that link to "Item:Q759478"
From MaRDI portal
The following pages link to Algebraic and operational semantics of specifications allowing exceptions and errors (Q759478):
Displaying 14 items.
- Exceptions for algebraic specifications: On the meaning of ``but'' (Q685615) (← links)
- Theoretical foundations of handling large substitution sets in temporal integrity monitoring (Q914364) (← links)
- Structured algebraic specifications: A kernel language (Q1080652) (← links)
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors (Q1082804) (← links)
- On the existence of free models in abstract algebraic institutions (Q1085969) (← links)
- On observational equivalence and algebraic specification (Q1089796) (← links)
- Toward formal development of programs from algebraic specifications: Implementations revisited (Q1090100) (← links)
- Quasi-varieties in abstract algebraic institutions (Q1091132) (← links)
- Specifications in an arbitrary institution (Q1108775) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- My ADT Shrine (Q2890319) (← links)
- (Q3482823) (← links)
- Exception handling and term labelling (Q5044752) (← links)
- Consistency and semantics of equational definitions over predefined algebras (Q5881176) (← links)
