400 search results - page 21 / 80 » An Extensible Meta-Model for Program Analysis |
148
click to vote
FASE
2005
Springer
15 years 10 months ago
2005
Springer
In situations in which developers are not familiar with a system or its documentation is inadequate, the system’s source code becomes the only reliable source of information. Unf...
123
click to vote
APLAS
2005
ACM
15 years 10 months ago
2005
ACM
Affine size-change analysis has been used for termination analysis of eager functional programming languages. The same style of analysis is also capable of compactly recording and ...
158
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper presents our experience implementing the memory management extensions in the Real-Time Specification for Java. These extensions are designed to given real-tim...
165
click to vote
EUROPAR
2008
Springer
15 years 6 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...
207
click to vote
Book
"Designing and Building Parallel Programs is a book for students and professionals who need to know how to write parallel programs. It is neither a programming language manual...