7167 search results - page 241 / 1434 » Answer Set Programming |
133
click to vote
PVLDB
2010
15 years 19 days ago
2010
Graphs are of growing importance in modeling complex structures such as chemical compounds, proteins, images, and program dependence. Given a query graph Q, the subgraph isomorphi...
121
Voted
JALC
2006
15 years 2 months ago
2006
Mobile programs, like applets, are not only ubiquitous, but also potentially malicious. We study the case where mobile programs are executed by a host system in a secured environm...
132
click to vote
ESOP
2001
Springer
15 years 6 months ago
2001
Springer
Programmers rely on the correctness of the tools in their programming environments. In the past, semanticists have studied the correctness of compilers and compiler analyses, which...
107
click to vote
COMPUTER
1999
15 years 1 months ago
1999
abstract mathematical or physical statement, not something specific. The way scientific programmers most frequently verify that their programs are correct is to examine their resul...
140
click to vote
INFSOF
2008
15 years 1 months ago
2008
This paper introduces an approach to locating dependence structures in a program by searching the space of the powerset of the set of all possible program slices. The paper formul...