4959 search results - page 13 / 992 » Imperative Functional Programming |
SIGADA
2007
Springer
15 years 4 months ago
2007
Springer
Teaching beginners predicate transformer semantics for imperative languages is not a trivial task. For Computer Science majors, the teaching of the theoretical material must be su...
120
click to vote
DAGSTUHL
1996
14 years 11 months ago
1996
An analysis method for specialization of imperative programs is described in this paper. This analysis is an inter-procedural data flow method operating on control flow graphs and...
PPDP
2004
Springer
15 years 3 months ago
2004
Springer
AGP
2003
IEEE
15 years 3 months ago
2003
IEEE
172
click to vote
ICFP
2009
ACM
15 years 11 months ago
2009
ACM
We present a new approach for constructing and verifying higherorder, imperative programs using the Coq proof assistant. We build on the past work on the Ynot system, which is bas...