An approach to literate and structured formal developments
type: Item
instance of: scholarly article
title: An approach to literate and structured formal developments
zbMATH Open document ID: 0843.68111
DOI: 10.1007/BF01211052
author: Martin Simons
author: Matthias Weber
published in: Formal Aspects of Computing
publication date: 1996-08-13T00:00:00Z
Mathematics Subject Classification ID: 68T27
zbMATH DE Number: 868010
zbMATH Keywords: literate programming
zbMATH Keywords: formal developments
zbMATH Keywords: revision management system
describes a project that uses: Nuprl
describes a project that uses: IMPS
describes a project that uses: Isabelle/ZF
describes a project that uses: CalcCheck
describes a project that uses: Tecton
MaRDI profile type: Publication
cites work: Q4730750
cites work: Q4296956
cites work: Q3997397
cites work: The calculus of constructions
cites work: Q4692885
cites work: Q4692630
cites work: IMPS: An interactive mathematical proof system
cites work: On the shape of mathematical arguments
cites work: Q3994895
cites work: Q5287513
cites work: Q4846258
cites work: A framework for defining logics
cites work: Q4001862
cites work: Q4274997
cites work: Q3997074
cites work: An overview of the Tecton proof system
cites work: Literate Programming
cites work: Q4261731
cites work: Fixed point theorems and semantics: A folk tale
cites work: Specification of the UNIX Filing System
cites work: FME '94: industrial benefit of formal methods. 2nd international symposium of formal methods Europe, Barcelona, Spain, October 24--28, 1994. Proceedings
cites work: Experimenting with Isabelle in ZF set theory
cites work: Set theory for verification. I: From foundations to functions
cites work: Definition and basic properties of the Deva meta-calculus
cites work: The generic development language. Presentation and case studies
full work available at URL: https://doi.org/10.1007/bf01211052
OpenAlex ID: W2007962263
description: scientific article; zbMATH DE number 868010