4959 search results - page 1 / 992 » Imperative Functional Programming |
POPL
1993
ACM
14 years 3 months ago
1993
ACM
ERLANG
2008
ACM
14 years 20 days ago
2008
ACM
ICFP
2005
ACM
14 years 10 months ago
2005
ACM
TPHOL
2008
IEEE
14 years 5 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...
ICFP
2005
ACM
14 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...