Das Buch ist derzeit nicht auf Lager
Mehr zum Buch
Agda, an advanced programming language rooted in Type Theory, features a highly expressive type system that facilitates full functional verification of programs. It offers two verification styles: external verification involves creating pure functional programs alongside separate proofs of their properties, while internal verification incorporates property specifications directly into the program's types, often requiring embedded proofs. This dual capability empowers programmers to ensure the absence of bugs, significantly enhancing software quality and reliability beyond traditional methods.
Buchkauf
Verified Functional Programming in Agda, Aaron Stump
- Sprache
- Erscheinungsdatum
- 2016
- product-detail.submit-box.info.binding
- (Hardcover)
Wir benachrichtigen dich per E-Mail.
Keiner hat bisher bewertet.
- Titel
- Verified Functional Programming in Agda
- Sprache
- Englisch
- Autor*innen
- Aaron Stump
- Erscheinungsdatum
- 2016
- Einband
- Hardcover
- Seitenzahl
- 284
- ISBN13
- 9781970001273
- Reihe
- Schlagwörter
- Sachbücher, Technologie & Industrie, Computer & Internet
- Beschreibung
- Agda, an advanced programming language rooted in Type Theory, features a highly expressive type system that facilitates full functional verification of programs. It offers two verification styles: external verification involves creating pure functional programs alongside separate proofs of their properties, while internal verification incorporates property specifications directly into the program's types, often requiring embedded proofs. This dual capability empowers programmers to ensure the absence of bugs, significantly enhancing software quality and reliability beyond traditional methods.