4959 search results - page 1 / 992 » Imperative Functional Programming |
POPL
1993
ACM
15 years 5 months ago
1993
ACM
ERLANG
2008
ACM
15 years 2 months ago
2008
ACM
104
Voted
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
122
click to vote
TPHOL
2008
IEEE
15 years 7 months ago
2008
IEEE
We introduce a lightweight approach for reasoning about programs involving imperative data structures using the proof assistant Isabelle/HOL. It is based on shallow embedding of pr...
112
Voted
ICFP
2005
ACM
16 years 1 months ago
2005
ACM
We present a compositional program logic for call-by-value imperative higher-order functions with general forms of aliasing, which can arise from the use of reference names as fun...