scientific article; zbMATH DE number 2102745
From MaRDI portal
Publication:4818832
zbMath1046.68509MaRDI QIDQ4818832
Publication date: 24 September 2004
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Abstract data types; algebraic specification (68Q65) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Heterogeneous Logical Environments for Distributed Specifications ⋮ Introducing \(H\), an institution-based formal specification and verification language ⋮ On the existence of translations of structured specifications ⋮ Generalised graded interpolation
This page was built for publication:
