Sciweavers

7167 search results - page 74 / 1434
» Answer Set Programming
Sort
View
PPDP
2010
Springer
15 years 1 months ago
Precise complexity analysis for efficient datalog queries
Given a set of Datalog rules, facts, and a query, answers to the query can be inferred bottom-up starting with the facts or top-down starting with the query. For efficiently answe...
K. Tuncay Tekle, Yanhong A. Liu
TSE
2008
69views more  TSE 2008»
15 years 3 months ago
Asking and Answering Questions during a Programming Change Task
Jonathan Sillito, Gail C. Murphy, Kris De Volder
108
Voted
TOSEM
2010
92views more  TOSEM 2010»
14 years 10 months ago
Extracting and answering why and why not questions about Java program output
Andrew J. Ko, Brad A. Myers
PASTE
2010
ACM
15 years 9 months ago
Extracting compiler provenance from program binaries
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...
Nathan E. Rosenblum, Barton P. Miller, Xiaojin Zhu