Sciweavers

160 search results - page 10 / 32
» Software Manipulation with Annotations in Java
Sort
View
OOPSLA
2007
Springer
14 years 2 months ago
Component nextgen: a sound and expressive component framework for java
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
James Sasitorn, Robert Cartwright
UIST
2000
ACM
14 years 1 months ago
SATIN: a toolkit for informal ink-based applications
Software support for making effective pen-based applications is currently rudimentary. To facilitate the creation of such applications, we have developed SATIN, a Java-based toolk...
Jason I. Hong, James A. Landay
KBSE
2008
IEEE
14 years 3 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
ICSE
2009
IEEE-ACM
14 years 9 months ago
Refactoring sequential Java code for concurrency via concurrent libraries
Parallelizing existing sequential programs to run efficiently on multicores is hard. The Java 5 package java.util.concurrent (j.u.c.) supports writing concurrent programs: much of...
Danny Dig, John Marrero, Michael D. Ernst
OOPSLA
2007
Springer
14 years 2 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich