HasCasl: integrated higher-order specification and program development
From MaRDI portal
Publication:1006648
DOI10.1016/j.tcs.2008.11.020zbMath1172.68040OpenAlexW1989984154MaRDI QIDQ1006648
Lutz Schröder, Till Mossakowski
Publication date: 25 March 2009
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2008.11.020
polymorphismhigher-order logicalgebraic specificationmonadsfunctional programmingHoare logictype classesCasl
Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Abstract data types; algebraic specification (68Q65) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
A two-valued logic for properties of strict functional programs allowing partial functions, A coinductive calculus for asynchronous side-effecting processes, Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design, A Coinductive Calculus for Asynchronous Side-Effecting Processes, HasCasl, Refinement in hybridised institutions
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Free objects and equational deduction for partial conditional specifications
- A new approach to abstract syntax with variable binding
- Institution morphisms
- Polymorphic subtyping in O'Haskell
- Notions of computation and monads
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Partial morphisms in categories of effective objects
- Order-sorted algebraic specifications with higher-order functions
- May I borrow your logic? (Transporting logical structures along maps)
- The definition of Extended ML: A gentle introduction
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- Isabelle/HOL. A proof assistant for higher-order logic
- Relating CASL with other specification languages: the institution level.
- CASL reference manual. The complete documentation of the common algebraic specification language.
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- HasCasl: Towards Integrated Specification and Development of Functional Programs
- Proofs as programs
- Constructive mathematics and computer programming
- Practical type inference for arbitrary-rank types
- Bootstrapping Types and Cotypes in HasCASL
- Institutions: abstract model theory for specification and programming
- Mechanizing coinduction and corecursion in higher-order logic
- Programming as a Discipline of Mathematical Nature
- Monad-independent Dynamic Logic in HasCasl
- Computer Science Logic
- Computer Science Logic
- Type classes with existential types
- Categorical models for Abadi and Plotkin's logic for parametricity
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
- The logic of demand in Haskell
- Completeness of Global Evaluation Logic
- The completeness of the first-order functional calculus
