HasCasl

swMATH399MaRDI QIDQ13159FDOQ13159

Author name not available (Why is that?)

Described by source

• HasCasl: integrated higher-order specification and program development
• HasCasl: Towards Integrated Specification and Development of Functional Programs

Cited In (15)

• A coinductive calculus for asynchronous side-effecting processes
• A generic complete dynamic logic for reasoning about purity and effects
• Manipulating algebraic specifications with term-based and graph-based representations
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• Kleene Monads: Handling Iteration in a Framework of Generic Effects
• Generalized Theoroidal Institution Comorphisms
• A two-valued logic for properties of strict functional programs allowing partial functions
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• Classifying categories for partial equational logic
• A Coinductive Calculus for Asynchronous Side-Effecting Processes
• Refinement in hybridised institutions
• Monad-independent Dynamic Logic in HasCasl
• Building verification condition generators by compositional extension
• Recent Trends in Algebraic Development Techniques
• Expander2: program verification between interaction and automation

This page was built for software: HasCasl