SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "id:"swepub:oai:DiVA.org:kth-318003" "

Sökning: id:"swepub:oai:DiVA.org:kth-318003"

  • Resultat 1-1 av 1
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Gurov, Dilian, 1964-, et al. (författare)
  • Alice in Wineland : A Fairy Tale with Contracts
  • 2022
  • Ingår i: The Logic of Software. A Tasting Menu of Formal Methods. - Cham : Springer Nature. ; , s. 229-242
  • Bokkapitel (refereegranskat)abstract
    • 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.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-1 av 1
Typ av publikation
bokkapitel (1)
Typ av innehåll
refereegranskat (1)
Författare/redaktör
Gurov, Dilian, 1964- (1)
Lidström, Christian (1)
Rümmer, P. (1)
Lärosäte
Kungliga Tekniska Högskolan (1)
Språk
Engelska (1)
Forskningsämne (UKÄ/SCB)
Naturvetenskap (1)
År
2022 (1)

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy