480 search results - page 28 / 96 » Understanding the Behavior of Java Programs |
102
Voted
TPHOL
2007
IEEE
15 years 6 months ago
2007
IEEE
We formalise the data race free (DRF) guarantee provided by Java, as captured by the semi-formal Java Memory Model (JMM) [1] and published in the Java Language Specification [2]. ...
86
Voted
OOPSLA
2007
Springer
15 years 6 months ago
2007
Springer
There are many proposals for language techniques to control aliasing and encapsulation in object oriented programs, typically based on notions of object ownership and pointer uniq...
113
click to vote
DAC
2011
ACM
14 years 8 days ago
2011
ACM
Flash memory is quickly becoming a common component in computer systems ranging from music players to mission-critical server systems. As flash plays a more important role, data ...
104
click to vote
PLDI
2012
ACM
13 years 2 months ago
2012
ACM
JavaScript performance is often bound by its dynamically typed nature. Compilers do not have access to static type information, making generation of efficient, type-specialized m...
101
click to vote
ECOOP
2001
Springer
15 years 5 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...