3456 search results - page 146 / 692 » Byte Code Engineering |
111
click to vote
ICSE
2007
IEEE-ACM
15 years 9 months ago
2007
IEEE-ACM
Mapping code elements in one version of a program to corresponding code elements in another version is a fundamental building block for many software engineering tools. Existing t...
125
click to vote
SWSTE
2003
IEEE
15 years 8 months ago
2003
IEEE
This paper makes a case for the definition of a family of languages for expressing patterns over both the structure and semantics of source code. Our proposal is unique in that i...
110
click to vote
POPL
1997
ACM
15 years 7 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
122
click to vote
SIGSOFT
2009
ACM
15 years 9 months ago
2009
ACM
An objective of unit testing is to achieve high structural coverage of the code under test. Achieving high structural coverage of object-oriented code requires desirable method-ca...
87
Voted
TCOM
2010
14 years 9 months ago
2010
It is shown that binary low-density generator matrix codes can achieve the rate-distortion bound of discrete memoryless sources with general distortion measure via multilevel quant...