Pages that link to "Item:Q1082804"
From MaRDI portal
The following pages link to Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors (Q1082804):
Displaying 11 items.
- Equational type logic (Q752689) (← links)
- Algebraic and operational semantics of specifications allowing exceptions and errors (Q759478) (← links)
- Correctness proofs for abstract implementations (Q1119388) (← links)
- Data types with errors and exceptions (Q1196304) (← links)
- Label algebras and exception handling (Q1346685) (← links)
- (Q3482823) (← links)
- (Q4510453) (← links)
- (Q4512408) (← links)
- (Q4525557) (← links)
- Exception handling and term labelling (Q5044752) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)