4959 search results - page 1 / 992 » Imperative Functional Programming |
59
Voted
POPL
1993
ACM
15 years 2 months ago
1993
ACM
72
Voted
ERLANG
2008
ACM
15 years 1 days ago
2008
ACM
85
Voted
ICFP
2005
ACM
15 years 10 months ago
2005
ACM
92
Voted
TPHOL
2008
IEEE
15 years 4 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...
94
Voted
ICFP
2005
ACM
15 years 10 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...