HasCasl: integrated higher-order specification and program development
From MaRDI portal
Recommendations
- \textsc{HasCasl}: towards integrated specification and development of functional programs
- scientific article; zbMATH DE number 2172806
- Towards an independent semantics and verification technology for the HLPSL specification language
- scientific article; zbMATH DE number 1629958
- A relatively complete calculus for structured heterogeneous specifications
- scientific article; zbMATH DE number 3991419
- scientific article; zbMATH DE number 176490
- Higher-order abstract syntax in Isabelle/HOL
Cites work
- scientific article; zbMATH DE number 1693525 (Why is no real title available?)
- scientific article; zbMATH DE number 2185697 (Why is no real title available?)
- scientific article; zbMATH DE number 4130339 (Why is no real title available?)
- scientific article; zbMATH DE number 3959364 (Why is no real title available?)
- scientific article; zbMATH DE number 4021100 (Why is no real title available?)
- scientific article; zbMATH DE number 4049849 (Why is no real title available?)
- scientific article; zbMATH DE number 4103048 (Why is no real title available?)
- scientific article; zbMATH DE number 19035 (Why is no real title available?)
- scientific article; zbMATH DE number 42431 (Why is no real title available?)
- scientific article; zbMATH DE number 46957 (Why is no real title available?)
- scientific article; zbMATH DE number 47619 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 517385 (Why is no real title available?)
- scientific article; zbMATH DE number 742723 (Why is no real title available?)
- scientific article; zbMATH DE number 1952947 (Why is no real title available?)
- scientific article; zbMATH DE number 1956493 (Why is no real title available?)
- scientific article; zbMATH DE number 1497732 (Why is no real title available?)
- scientific article; zbMATH DE number 195102 (Why is no real title available?)
- scientific article; zbMATH DE number 2087428 (Why is no real title available?)
- scientific article; zbMATH DE number 795688 (Why is no real title available?)
- scientific article; zbMATH DE number 1420787 (Why is no real title available?)
- scientific article; zbMATH DE number 1424012 (Why is no real title available?)
- A new approach to abstract syntax with variable binding
- A short introduction to intuitionistic logic
- All about Maude -- a high-performance logical framework. How to specify, program and verify systems in rewriting logic. With CD-ROM.
- Bootstrapping Types and Cotypes in HasCASL
- CASL reference manual. The complete documentation of the common algebraic specification language.
- CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
- CafeOBJ Report. The language, proof techniques, and methodologies for object-oriented algebraicspecification
- Categorical models for Abadi and Plotkin's logic for parametricity
- Completeness of Global Evaluation Logic
- Computer Science Logic
- Computer Science Logic
- Constructive mathematics and computer programming
- Free objects and equational deduction for partial conditional specifications
- Institution morphisms
- Institutions: abstract model theory for specification and programming
- Isabelle/HOL. A proof assistant for higher-order logic
- May I borrow your logic? (Transporting logical structures along maps)
- Mechanizing coinduction and corecursion in higher-order logic
- Monad-independent Dynamic Logic in HasCasl
- Notions of computation and monads
- Order-sorted algebraic specifications with higher-order functions
- Partial morphisms in categories of effective objects
- Polymorphic subtyping in O'Haskell
- Practical type inference for arbitrary-rank types
- Programming as a Discipline of Mathematical Nature
- Proofs as programs
- Recent Trends in Algebraic Development Techniques
- Recent Trends in Algebraic Development Techniques
- Relating CASL with other specification languages: the institution level.
- The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
- The completeness of the first-order functional calculus
- The definition of Extended ML: A gentle introduction
- The logic of demand in Haskell
- Toward formal development of programs from algebraic specifications: Implementations revisited
- Type classes with existential types
- Types and programing languages
- \textsc{HasCasl}: towards integrated specification and development of functional programs
Cited in
(10)- A coinductive calculus for asynchronous side-effecting processes
- A coinductive calculus for asynchronous side-effecting processes
- HasCasl
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design
- scientific article; zbMATH DE number 1617295 (Why is no real title available?)
- A two-valued logic for properties of strict functional programs allowing partial functions
- Monad-independent dynamic logic in HasCasl.
- Refinement in hybridised institutions
- \textsc{HasCasl}: towards integrated specification and development of functional programs
- Bootstrapping Types and Cotypes in HasCASL
This page was built for publication: HasCasl: integrated higher-order specification and program development
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1006648)
