Sökning: id:"swepub:oai:DiVA.org:kth-318003" >
Alice in Wineland :
Alice in Wineland : A Fairy Tale with Contracts
-
- Gurov, Dilian, 1964- (författare)
- KTH,Teoretisk datalogi, TCS
-
- Lidström, Christian (författare)
- KTH,Teoretisk datalogi, TCS
-
Rümmer, P. (författare)
-
(creator_code:org_t)
- 2022-07-04
- 2022
- Engelska.
-
Ingår i: The Logic of Software. A Tasting Menu of Formal Methods. - Cham : Springer Nature. ; , s. 229-242
- Relaterad länk:
-
https://urn.kb.se/re...
-
visa fler...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- In this tale Alice ends up in Wineland, where she tries to attend the birthday party of one of its most beloved inhabitants. In order to do so, she must learn about contracts and how important they are. She gets exposed to several contract languages, with their syntax and semantics, such as pre- and post-conditions, state machines, context-free grammars, and interval logic. She learns for what type of properties they are appropriate to use, and how to formally verify that programs meet their contracts.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Publikations- och innehållstyp
- ref (ämneskategori)
- kap (ämneskategori)
Hitta via bibliotek
Till lärosätets databas