10870 search results - page 412 / 2174 » Model Checking Programs |
211
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Type systems currently available for imperative languages are too weak to detect a significant class of programming errors. For example, they cannot express the property that a l...
165
click to vote
ICLP
2003
Springer
16 years 2 days ago
2003
Springer
We propose and study algorithms for computing minimal models, stable models and answer sets of 2- and 3-CNF theories, and normal and disjunctive 2- and 3-programs. We are especiall...
223
click to vote
ER
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The UML-based Specification Environment (USE) tool supports the syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/pos...
177
click to vote
WOA
2000
15 years 8 months ago
2000
ogramming are evaluated along three different guidelines: the programming abstractions the calculus suggests; the underlying programming model; the security mechanisms provided. Th...
173
click to vote
ITICSE
2004
ACM
16 years 9 days ago
2004
ACM
Learning to program is a unique experience for each student, and it is not fully understood why one person in an introductory programming course learns to program better and more ...