Guarantees by Construction

Types for deadlock and leak free concurrency • separation logics for verified message passing • general and efficient coalgebraic automata minimization • paradox-free probabilistic programming

Jules Jacobs • Boek • paperback

• Samenvatting
  Free download at https://hdl.handle.net/2066/307139 or via the button 'Download Fragment' in the Productinformatie here beneath
  
  This thesis is about type systems for deadlock and leak free concurrency, separation logics for verified message passing, paradox-free probabilistic programming, and general and efficient coalgebraic automata minimization. In each case we aspire to guarantee beneficial properties `by construction', as inherent consequences of the design of the system.
• Productinformatie
  Fragment : Download Fragment
  Binding : Paperback
  Distributievorm : Boek (print, druk)
  Formaat : 170mm x 240mm
  Aantal pagina's : 347
  Uitgeverij : Radboud University Press
  ISBN : 9789493296541
  Datum publicatie : 06-2024
  
• Inhoudsopgave
  niet beschikbaar
• Reviews (0 uit 0 reviews)
  Wil je meer weten over hoe reviews worden verzameld? Lees onze uitleg hier.