Index Catalog // Hyrax

Effacer les filtres

Filtrage par: Mot-clé functional reactive programming

1. An Axiomatic Semantics for Functional Reactive Programming

Mot-clé:: coq, monads, formal verification, and functional reactive programming
Créateur:: King, Christopher T.
Advisor:: Fisler, Kathryn
Éditeur:: Worcester Polytechnic Institute
date créée:: 2008-04-29
Resource Type:: Thesis
Degree:: MS
Unit (Department):: Computer Science