10870 search results - page 368 / 2174 » Model Checking Programs |
151
click to vote
ESOP
2007
Springer
16 years 29 days ago
2007
Springer
In this paper, we describe the key principles of a dependent type system for low-level imperative languages. The major contributions of this work are (1) a sound type system that c...
172
click to vote
ICLP
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. This paper proposes a diagnosis algorithm for locating a certain kind of errors in logic programs: variable binding errors that result act symptoms during compile-time ch...
191
click to vote
VMCAI
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. In this paper we analyze the complexity of checking safety and termination properties, for a very simple, yet non-trivial, class of programs with singly-linked list data ...
182
click to vote
ESSOS
2009
Springer
15 years 11 months ago
2009
Springer
Injection attacks and their defense require a lot of creativity from attackers and secure system developers. Unfortunately, as attackers rely increasingly on systematic approaches ...
129
click to vote
POPL
1997
ACM
15 years 11 months ago
1997
ACM
Module mechanisms have received considerable theoretical attention, but the associated concepts of separate compilation and linking have not been emphasized. Anomalous module syst...