9626 search results - page 37 / 1926 » Invariant Based Programming |
125
click to vote
ICDAR
2011
IEEE
14 years 1 months ago
2011
IEEE
—In this paper, we present a novel method to recognize characters with severe perspective distortion using hash tables and perspective invariants. The proposed algorithm consists...
TAP
2009
Springer
15 years 8 months ago
2009
Springer
The method contract and loop invariant rules (contract rules) are an important software verification technique for handling method invocations and loops. However, if a verificati...
101
click to vote
SAS
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
105
click to vote
PLDI
1996
ACM
15 years 5 months ago
1996
ACM
Dynamic compilation enables optimizations based on the values of invariant data computed at run-time. Using the values of these runtime constants, a dynamic compiler can eliminate...
113
click to vote
FUIN
2006
15 years 1 months ago
2006
We present a model and a core programming language appropriate for modeling and programming interactive computing systems. The model consists of rv-systems (interactive systems wit...