1715 search results - page 136 / 343 » Domain-Specific Program Checking |
ICLP
2007
Springer
14 years 4 months 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...
VMCAI
2007
Springer
14 years 4 months 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 ...
ESSOS
2009
Springer
14 years 3 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 ...
POPL
1997
ACM
14 years 2 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...
SIGMOD
1989
ACM
14 years 2 months ago
1989
ACM
Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and a...