Back to Results
First PageMeta Content
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


Fundamenta Informaticae XX[removed]–31 1 IOS Press
Add to Reading List

Document Date: 2010-07-20 09:14:49

Open Document

File Size: 248,30 KB

Share 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