480 search results - page 64 / 96 » Understanding the Behavior of Java Programs |
98
Voted
IFL
2005
Springer
15 years 6 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
112
Voted
INFSOF
2010
14 years 11 months ago
2010
Context: Object-oriented languages such as Java, Smalltalk, and C++ structure their programs using packages. Maintainers of large systems need to understand how packages relate to...
IWPC
2002
IEEE
15 years 5 months ago
2002
IEEE
While code understanding is the primary program comprehension activity, it is quite challenging to recognize the application requirements from code, since they have usually been o...
102
click to vote
IWPC
2009
IEEE
15 years 7 months ago
2009
IEEE
Understanding aspect-oriented systems, without appropriate tool support, is a difficult and a recognized problem in the research community. Surprisingly, little has been done to ...
98
Voted
ESOP
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a proof theoretical method for de-compiling lowlevel code to the typed lambda calculus. We first define a proof system for a low-level code language based on...