1911 search results - page 291 / 383 » Program analysis for code duplication in logic programs |
137
click to vote
PLDI
2003
ACM
15 years 7 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
147
click to vote
ASPLOS
2012
ACM
13 years 10 months ago
2012
ACM
Dynamic binary translation (DBT) is a powerful technique that enables fine-grained monitoring and manipulation of an existing program binary. At the user level, it has been emplo...
142
click to vote
STOC
2009
ACM
16 years 3 months ago
2009
ACM
Linear programming decoding for low-density parity check codes (and related domains such as compressed sensing) has received increased attention over recent years because of its p...
121
click to vote
ICSE
1999
IEEE-ACM
1999
IEEE-ACM
CHIME: Customizable Hyperlink Insertion and Maintenance Engine for Software Engineering Environments
15 years 6 months ago
Source code browsing is an important part of program comprehension. Browsers expose semantic and syntactic relationships (such as between object references and definitions) in GU...
112
click to vote
AIEDU
2007
15 years 2 months ago
2007
This paper describes a reflection-based approach for open learner modeling (OLM). Tutoring dialogues are used by learners to explicitly reveal their own knowledge state to themselv...