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).
Date January 2008
CreatorsKing, Christopher T.
PublisherWorcester, Mass. : Worcester Polytechnic Institute,
Source SetsOCLC
Detected LanguageEnglish
SourceLink to electronic thesis

Page generated in 0.0134 seconds