HasCasl

swMATH399MaRDI QIDQ13159FDOQ13159

Author name not available (Why is that?)

Official website: http://www.sciweavers.org/publications/monad-independent-hoare-logic-hascasl

Described by source

• HasCasl: integrated higher-order specification and program development
• \textsc{HasCasl}: towards integrated specification and development of functional programs

Cited In (20)

• A coinductive calculus for asynchronous side-effecting processes
• A generic complete dynamic logic for reasoning about purity and effects
• A coinductive calculus for asynchronous side-effecting processes
• Manipulating algebraic specifications with term-based and graph-based representations
• Kleene monads: handling iteration in a framework of generic effects
• CASL
• Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
• CoCasl
• EXPANDER
• F#
• Sather
• Generalized Theoroidal Institution Comorphisms
• Monad-independent dynamic logic in HasCasl.
• 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
• Refinement in hybridised institutions
• Monad-independent Dynamic Logic in HasCasl
• Building verification condition generators by compositional extension
• Expander2: program verification between interaction and automation

This page was built for software: HasCasl