ALBERT

All Library Books, journals and Electronic Records Telegrafenberg

X
You have 0 saved results.
Mark results and click the "Add To Watchlist" link in order to add them to this list.
feed icon rss

Your email was sent successfully. Check your inbox.

An error occurred while sending the email. Please try again.

Proceed reservation?

Export
  • 1
    Electronic Resource
    Electronic Resource
    An approach to literate and structured formal developments (1996)
    Springer
    Formal aspects of computing 8 (1996), S. 86-107 
    Details
    ISSN: 1433-299X
    Keywords: Formalized mathematics ; Formalized developments ; Logical frameworks ; Literate programming
    Source: Springer Online Journal Archives 1860-2000
    Topics: Computer Science
    Notes: Abstract We present an approach to the literate and structured presentation of formal developments. We discuss the presentation of formal developments in a logical framework and distinguish three aspects: language-related aspects, structural aspects of proofs, and presentational aspects. We illustrate the approach by two examples: a simple mathematical proof of the Knaster-Tarski fixpoint theorem, and a formalization of the VDM development of a revision management system.
    Type of Medium: Electronic Resource
    URL: http://dx.doi.org/10.1007/BF01211052
    Location Call Number Expected Availability
    BibTip Others were also interested in ...
    Paper (German National Licenses)
    Fulltext
Close ⊗
This website uses cookies and the analysis tool Matomo. More information can be found here...