480 search results - page 21 / 96 » Understanding the Behavior of Java Programs |
115
click to vote
EMSOFT
2001
Springer
15 years 5 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...
120
Voted
SAC
2000
ACM
15 years 4 months ago
2000
ACM
Object-oriented modeling and design is a way of solving problems using models based upon real-world concepts. In this paradigm, the fundamental construct is the object, an entity ...
106
click to vote
TOOLS
2010
IEEE
15 years 5 months ago
2010
IEEE
JSContest is a tool that enhances JavaScript with simple, type-like contracts and provides a framework for monitoring and guided random testing of programs against these contracts ...
119
click to vote
ECOOPWEXCEPTION
2006
Springer
15 years 4 months ago
2006
Springer
It is difficult to write programs that behave correctly in the presence of exceptions. We describe a dataflow analysis for finding a certain class of mistakes made while programs h...
212
click to vote
POPL
2008
ACM
16 years 23 days ago
2008
ACM
Java programmers can document that the relationship between two objects is unchanging by declaring the field that encodes that relationship to be final. This information can be us...