3872 search results - page 83 / 775 » The Java memory model |
SAC
2010
ACM
15 years 6 months ago
2010
ACM
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if ...
116
click to vote
KBSE
2000
IEEE
15 years 4 months ago
2000
IEEE
The majority of work carried out in the formal methods community throughout the last three decades has (for good reasons) been devoted to special languages designed to make it eas...
AOSD
2007
ACM
15 years 3 months ago
2007
ACM
The primary implementations of AspectJ to date are based on a compile- or load-time weaving process that produces Java byte code. Although this implementation strategy has been cr...
QSIC
2008
IEEE
15 years 6 months ago
2008
IEEE
This paper presents a practical path and context sensitive inter-procedural analysis method for detecting memory leaks in C programs. A novel memory object model and function summ...
109
click to vote
ICALT
2003
IEEE
15 years 5 months ago
2003
IEEE
The “JavaTM Intelligent Tutoring System” (JITS) research project involves the development of a programming tutor designed for students in their first programming course in Jav...