1194 search results - page 28 / 239 » A Calculus for Predicative Programming |
APLAS
2010
ACM
14 years 12 months ago
2010
ACM
112
click to vote
FASE
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. We present a new method for automatic generation of loop invariants for programs containing arrays. Unlike all previously known methods, our method allows one to generate...
WCET
2008
15 years 1 months ago
2008
In this paper, we propose the use of constraint logic programming as a way of modeling contextsensitive execution-times of program segments. The context-sensitive constraints are ...
MICRO
1997
IEEE
15 years 3 months ago
1997
IEEE
Predicated execution is a promising architectural feature for exploiting instruction-level parallelism in the presence of control flow. Compiling for predicated execution involve...
TACAS
2009
Springer
15 years 6 months ago
2009
Springer
ional Predicate Abstraction from Game Semantics Adam Bakewell and Dan R. Ghica University of Birmingham, U.K. We introduce a technique for using conventional predicate abstraction ...