458 search results - page 74 / 92 » Symbolic Object Code Analysis |
ENTCS
2007
13 years 9 months ago
2007
This paper gives an overview of recent advances in Real-Time Maude. Real-Time Maude extends the Maude rewriting logic tool to support formal specification and analysis of object-...
AOSD
2008
ACM
13 years 11 months ago
2008
ACM
One difficulty in software maintenance is that the relationship between observed program behavior and source code is not always clear. In this paper we are concerned specifically ...
EUROPAR
2008
Springer
13 years 11 months ago
2008
Springer
Developing a distributed application for mobile resource constrained devices is a difficult and error-prone task that requires awareness of several system-level details (e.g., faul...
PLDI
2000
ACM
14 years 2 months ago
2000
ACM
Dynamic class loading during program execution in the JavaTM Programming Language is an impediment for generating code that is as e cient as code generated using static wholeprogr...
CGO
2008
IEEE
14 years 4 months ago
2008
IEEE
Array inlining expands the concepts of object inlining to arrays. Groups of objects and arrays that reference each other are placed consecutively in memory so that their relative ...