Sciweavers

7167 search results - page 74 / 1434
» Answer Set Programming
Sort
View
PPDP
2010
Springer
13 years 5 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»
13 years 7 months ago
Asking and Answering Questions during a Programming Change Task
Jonathan Sillito, Gail C. Murphy, Kris De Volder
PASTE
2010
ACM
14 years 27 days 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