ECOOP
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose signi...
ECOOP
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
ECOOP
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. We introduce the design of Mondrian, a functional scripting language for glueing together components on the .NET platform. Mondrian is monadic statement centric with pure...
ECOOP
2001
Springer
14 years 4 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...
ECOOP
2001
Springer
14 years 4 months ago
2001
Springer
Abstract. The effectiveness of garbage collectors and leak detectors in identifying dead objects depends on the “accuracy” of their reachability traversal. Accuracy has two ort...
ECOOP
2001
Springer
14 years 4 months ago
2001
Springer
This paper takes polymorphism to the multi-object level. Traditional inheritance, polymorphism, and late binding interact nicely to provide both flexibility and safety – when a ...
COOPPN
2001
Springer
14 years 4 months ago
2001
Springer
COOPPN
2001
Springer
14 years 4 months ago
2001
Springer
PEPM
2009
ACM
14 years 4 months ago
2009
ACM
A requirement of any source language is to be rich in features and concise to use by the programmers. As a drawback, it is often too complex to analyse, causing research studies t...
IWOMP
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. Exploiting the full computational power of current hierarchical multiprocessor machines requires a very careful distribution of threads and data among the underlying non-...