4959 search results - page 6 / 992 » Imperative Functional Programming |
EMSOFT
2003
Springer
15 years 3 months ago
2003
Springer
Abstract. High-level programming languages offer significant expressivity but provide little or no guarantees about resource utilization. Resource-bounded languages provide stron...
LISP
2008
14 years 10 months ago
2008
Abstract. Tracing computations is a widely used methodology for program debugging. Lazy languages, however, pose new demands on tracing techniques because following the actual trac...
103
click to vote
INAP
2005
Springer
15 years 3 months ago
2005
Springer
This article introduces the turtle++ library which combines constraint-based and imperative paradigms and enables in this way constraint imperative programming (CIP) with c++. Inte...
CCS
2008
ACM
15 years 10 days ago
2008
ACM
Proving that particular methods within a code base are functionally pure--deterministic and side-effect free--would aid verification of security properties including function inve...
76
Voted
ASIAN
2003
Springer
15 years 3 months ago
2003
Springer
Several induction theorem provers were developed to verify functional programs mechanically. Unfortunately, automated verification usually fails for functions with accumulating ar...