Index Catalog // Hyrax

Remover filtros

Filtragem por: Palavra-chave formal verification

An Axiomatic Semantics for Functional Reactive Programming

Palavra-chave:

coq, monads, formal verification, and functional reactive programming

O Criador:

King, Christopher T.

Advisor:

Fisler, Kathryn

Editor:

Worcester Polytechnic Institute

Data Criada:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science