1411 search results - page 25 / 283 » Interactive Coding for Interactive Proofs |
ICLP
2010
Springer
13 years 9 months ago
2010
Springer
Abductive Logic Programming is a computationally founded representation of abductive reasoning. In most ALP frameworks, integrity constraints express domainspecific logical relati...
IEEECGIV
2009
IEEE
14 years 5 months ago
2009
IEEE
—With the fusion in the world of art and science, technology has made a dent in the course of art, and there is now a time and place for those actively interested in both the aca...
IPPS
1997
IEEE
14 years 3 months ago
1997
IEEE
Program understanding is central to the development of distributed computations, from the initial coding phase, through testing and debugging, to maintenance and support. Our goal...
AUIC
2006
IEEE
14 years 5 months ago
2006
IEEE
An execution trace contains a description of everything that happened during an execution of a program. Execution traces are useful, because they can help software engineers under...
APVIS
2008
14 years 11 days ago
2008
With the success of open source software projects, such as Apache and Mozilla, comes the opportunity to study the development process. In this paper, we present StarGate: a novel ...