6960 search results - page 354 / 1392 » Continuity Analysis of Programs |
130
Voted
VL
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper shows how a general purpose data flow visual programming environment can be effectively used to find, collect and manipulate information available on the web. The discu...
110
click to vote
CAV
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
161
click to vote
VL
1991
IEEE
15 years 8 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
132
Voted
AAAI
2006
15 years 6 months ago
2006
We establish a declarative theory of forgetting for disjunctive logic programs. The suitability of this theory is justified by a number of desirable properties. In particular, one...
142
click to vote
ENDM
2010
15 years 4 months ago
2010
Verifying that a piece of software has no bugs means proving that it has certain desired properties, such as an array index not taking values outside certain Abstract interpretati...