4722 search results - page 167 / 945 » Representation-independent program analysis |
132
click to vote
JOT
2007
15 years 5 months ago
2007
Programs designed from scratch often start with just a set of classes. Classes can be instantiated and so deliver the objects that are the carriers of information and function. In...
147
click to vote
WCRE
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract—The principles and best practices of object oriented design require that modules in a program should match logical decomposition of the knowledge that the program implem...
146
click to vote
PPOPP
1993
ACM
15 years 9 months ago
1993
ACM
The ParaScope Editor is an interactive parallel programming tool that assists knowledgeable users in developing scienti c Fortran programs. It displays the results of sophisticate...
147
click to vote
ESOP
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. Languages for intensional type analysis permit ad-hoc polymorphism, or run-time analysis of types. However, such languages require complex, specialized constructs to supp...
143
click to vote
PASTE
2010
ACM
15 years 10 months ago
2010
ACM
We present a novel technique that identifies the source compiler of program binaries, an important element of program provenance. Program provenance answers fundamental questions...