Index Catalog // Hyrax

Borrar filtros

Filtrado por: Palabra clave formal verification

An Axiomatic Semantics for Functional Reactive Programming

Palabra clave:

coq, monads, formal verification, and functional reactive programming

Creador:

King, Christopher T.

Advisor:

Fisler, Kathryn

Editor:

Worcester Polytechnic Institute

Fecha de Creacion:

2008-04-29

Resource Type:

Thesis

Degree:

MS

Unit (Department):

Computer Science