1911 search results - page 261 / 383 » Program analysis for code duplication in logic programs |
145
Voted
TIC
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. A type-based certifying compiler maps source code to machine code and target-level type annotations. The target-level annotations make it possible to prove easily that th...
128
Voted
CORR
2007
Springer
15 years 2 months ago
2007
Springer
Recently there has been a growing interest of research in tabling in the logic programming community because of its usefulness in a variety of application domains including progra...
140
click to vote
FCCM
2000
IEEE
15 years 7 months ago
2000
IEEE
Custom computing systems exhibit significant speedups over traditional microprocessors by mapping compute-intensive sections of a program to reconfigurable logic [Hauck98]. Howeve...
146
click to vote
POPL
1993
ACM
15 years 6 months ago
1993
ACM
e data structures are abstractions of simple records and pointers. They impose a shape invariant, which is verified at compiletime and exploited to automatically generate code fo...
148
click to vote
IISWC
2008
IEEE
15 years 9 months ago
2008
IEEE
Dynamic binary translation systems enable a wide range of applications such as program instrumentation, optimization, and security. DBTs use a software code cache to store previou...