Beschreibung
InhaltsangabeThe stratified loose approach: A generalization of initial and loose semantics.- Algebraic data type and process specifications based on projection spaces.- Structuring theories on consequence.- Completion with history-dependent complexities for generated equations.- Jungle evaluation.- The ACT-system experiences and future enhancements.- The specification language of OBSCURE.- Algebraic specifications of reachable higher-order algebras.- Observing nondeterministic data types.- Initial behaviour semantics for algebraic specifications.- Partial algebras, subsorting, and dependent types.- Operational semantics of behavioural canons based on narrowing.- The algebraic specification of semicomputable data types.