Pages that link to "Item:Q1346685"
From MaRDI portal
The following pages link to Label algebras and exception handling (Q1346685):
Displaying 4 items.
- Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors (Q1082804) (← links)
- Structures for abstract rewriting (Q2642463) (← links)
- Exception handling and term labelling (Q5044752) (← links)
- Structuring and modularizing algebraic specifications: the PLUSS specification language, evolutions and perspectives (Q5096765) (← links)