\textsc{HasCasl}: towards integrated specification and development of functional programs

DOI10.1007/3-540-45719-4_8MaRDI QIDQ2996141zbMATH OpenOpenAlexFDO

Authors Lutz Schröder, Till Mossakowski

Publication date 6 May 2011

Published in Algebraic Methodology and Software Technology (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45719-4_8

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Abstract data types; algebraic specification (68Q65)

Recommendations

• HasCasl: integrated higher-order specification and program development
• CASL user manual. Introduction to using the Common Algebraic Specification Language. With chapters by Till Mossakowski, Donald Sannella, and Andrzej Tarlecki. With CD-ROM.
• scientific article; zbMATH DE number 2172806
• scientific article; zbMATH DE number 1617295
• scientific article; zbMATH DE number 1629958

Cited in

(9)

• HasCasl: integrated higher-order specification and program development
• HasCasl
• Manipulating algebraic specifications with term-based and graph-based representations
• The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus
• Classifying categories for partial equational logic
• Generalized Theoroidal Institution Comorphisms
• Functional programs as executable specifications
• Bootstrapping Types and Cotypes in HasCASL
• Types, Tableaus and Gödel’s God in Isabelle/HOL

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: \textsc{HasCasl}: towards integrated specification and development of functional programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2996141)