8132 search results - page 12 / 1627 » Dependability, Abstraction, and Programming |
CAV
2009
Springer
15 years 1 months ago
2009
Springer
Designers often apply manual or semi-automatic loop and data transformations on array and loop intensive programs to improve performance. The transformations should preserve the fu...
POPL
1991
ACM
15 years 1 months ago
1991
ACM
CAV
2006
Springer
15 years 1 months ago
2006
Springer
We describe a new program termination analysis designed to handle imperative programs whose termination depends on the mutation rogram's heap. We first describe how an abstrac...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
CORR
2010
Springer
14 years 9 months ago
2010
Springer
Abstract. The dependency core calculus (DCC), a simple extension of the computational lambda calculus, captures a common notion of dependency that arises in many programming langua...