9626 search results - page 15 / 1926 » Invariant Based Programming |
104
click to vote
PASTE
2004
ACM
15 years 7 months ago
2004
ACM
Model checking requires a specification of the target system’s desirable properties, some of which are temporal. Formulating a property of the system based on either its abstrac...
109
click to vote
SAS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. We specify an information flow analysis for a simple imperative language, using a Hoare-like logic. The logic facilitates static checking of a larger class of programs t...
107
click to vote
SIGSOFT
2004
ACM
16 years 2 months ago
2004
ACM
Dynamic detection of likely invariants is a program analysis that generalizes over observed values to hypothesize program properties. The reported program properties are a set of ...
ICFP
2008
ACM
16 years 1 months ago
2008
ACM
There has been a lot of interest of late for programming languages that incorporate features from dependent type systems and proof assistants in order to capture in the types impo...
126
click to vote
SIGCSE
1991
ACM
15 years 5 months ago
1991
ACM
The development, specification, and use of a loop invariant are useful and underutilized tools in writing code to solve a problem or implement an algorithm. Invariants are especi...