The following pages link to HasCasl (Q13159):
Displaying 15 items.
- A two-valued logic for properties of strict functional programs allowing partial functions (Q352946) (← links)
- A coinductive calculus for asynchronous side-effecting processes (Q393094) (← links)
- A generic complete dynamic logic for reasoning about purity and effects (Q973056) (← links)
- Manipulating algebraic specifications with term-based and graph-based representations (Q1885933) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Refinement in hybridised institutions (Q2355385) (← links)
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus (Q2368980) (← links)
- Classifying categories for partial equational logic (Q2842828) (← links)
- Building Verification Condition Generators by Compositional Extension (Q2864396) (← links)
- Expander2: Program Verification Between Interaction and Automation (Q2873787) (← links)
- Kleene Monads: Handling Iteration in a Framework of Generic Effects (Q2888474) (← links)
- A Coinductive Calculus for Asynchronous Side-Effecting Processes (Q3088290) (← links)
- Generalized Theoroidal Institution Comorphisms (Q3184726) (← links)
- Monad-independent Dynamic Logic in HasCasl (Q4823808) (← links)
- Recent Trends in Algebraic Development Techniques (Q5900835) (← links)