scientific article
From MaRDI portal
Publication:3790597
zbMath0646.68001MaRDI QIDQ3790597
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
verificationstepwise refinementfunctional programmingMLbottom-up designnon-lazy evaluationtop- down design
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
A categorical formulation for critical-pair/completion procedures, A transformation-based synthesis of temporal specification, 2D tree object representation via the slope chain code, Symmetry detection in 3D chain coded discrete curves and trees, Implicit coercions in type systems, Categorical ML -- category-theoretic modular programming, Using a generalisation critic to find bisimulations for coinductive proofs, A formal language approach for a 3D curve representation.
