Return to search

An axiomatic semantics for functional reactive programming

Thesis (M.S.)--Worcester Polytechnic Institute. / Keywords: Coq; monads; functional reactive programming; formal verification. Includes bibliographical references (leaves 31-32).

Identiferoai:union.ndltd.org:OCLC/oai:xtcat.oclc.org:OCLCNo/227188329
Date January 2008
CreatorsKing, Christopher T.
PublisherWorcester, Mass. : Worcester Polytechnic Institute,
Source SetsOCLC
LanguageEnglish
Detected LanguageEnglish
SourceLink to electronic thesis

Page generated in 0.0134 seconds