![Type theory / Data types / Functional programming / Functional languages / Dependently typed programming / Dependent type / Lock / Generalized algebraic data type / Concurrent computing / Computing / Software engineering / Programming language theory Type theory / Data types / Functional programming / Functional languages / Dependently typed programming / Dependent type / Lock / Generalized algebraic data type / Concurrent computing / Computing / Software engineering / Programming language theory](https://www.pdfsearch.io/img/16f9b9ea989be765a9817f75c000dd89.jpg)
| Document Date: 2010-07-20 09:14:49 Open Document File Size: 248,30 KBShare Result on Facebook
City St Andrews / / Country Scotland / / Currency GBP / / / Facility University of St Andrews / / IndustryTerm verified protocol / correct management / bank account / state management / bank account transactions / software reliability / resource access protocol / concurrent software / correct-by-construction software / safety-critical systems / concurrent systems / resource management / computing / constructed software / software changes / formally-specified resource protocols / resource access protocols / / OperatingSystem POSIX / / Organization Effectful Resource Usage Protocols Edwin Brady Kevin Hammond School of Computer Science / University of St Andrews / / Person Edwin Brady / Edwin Brady Kevin / Kevin Hammond / Nat / Ty / / Position computer programmer / General / programmer / / ProgrammingLanguage Haskell / C / / Technology formally-specified resource protocols / functional programming / already verified protocol / Java / resource access protocol / verifying resource access protocols / DSL / / URL http /
SocialTag |