4959 search results - page 23 / 992 » Imperative Functional Programming |
ACSD
2010
IEEE
14 years 8 months ago
2010
IEEE
The synchronous model of computation divides the execution of a program into an infinite sequence of socalled macro steps, which are further divided into finitely many micro steps....
100
click to vote
PADO
2001
Springer
15 years 3 months ago
2001
Springer
Complex data dependencies can often be expressed concisely by defining a variable in terms of part of its own value. Such a circular reference can be naturally expressed in a lazy...
ESOP
1999
Springer
15 years 3 months ago
1999
Springer
Control Flow Analysis is a widely used approach for analysing functional and object oriented programs. Once the applications become more demanding also the analysis needs to be mor...
ACMSE
2004
ACM
15 years 2 months ago
2004
ACM
Over the past decade, the need to build secure software has become a dominant goal in software development. Consequently, software researchers and practitioners have identified wa...
123
click to vote
JAR
2008
14 years 10 months ago
2008
This article presents the formal verification, using the Coq proof assistant, of a memory model for low-level imperative languages such as C and compiler intermediate languages. Be...