HasCasl: Towards Integrated Specification and Development of Functional Programs

DOI10.1007/3-540-45719-4_8zbMath1275.68054OpenAlexW1567910670MaRDI QIDQ2996141

Till Mossakowski, Lutz Schröder

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)

Related Items

The HASCASL prologue: Categorical syntax and semantics of the partial \(\lambda\)-calculus, Manipulating algebraic specifications with term-based and graph-based representations, Generalized Theoroidal Institution Comorphisms, HasCasl: integrated higher-order specification and program development, HasCasl, Classifying categories for partial equational logic

Uses Software

• Haskell