Index Catalog // 蹄兔

清除筛选

筛选: Contributor Fisler, Kathryn 创造者 King, Christopher T.

An Axiomatic Semantics for Functional Reactive Programming

关键词:

coq, monads, formal verification, and functional reactive programming

创造者:

King, Christopher T.

Advisor:

Fisler, Kathryn

出版者:

Worcester Polytechnic Institute

创建日期:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science