1210 search results - page 83 / 242 » Formal Techniques for Java Programs |
179
Voted
IWMM
2011
Springer
14 years 5 months ago
2011
Springer
At the heart of all garbage collectors lies the process of identifying and processing reference fields within an object. Despite its key role, and evidence of many different impl...
119
Voted
SAS
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. Proving the termination of a flowchart program can be done by exhibiting a ranking function, i.e., a function from the program states to a wellfounded set, which strictl...
108
Voted
UIST
2006
ACM
15 years 8 months ago
2006
ACM
This article describes SwingStates, a library that adds state machines to the Java Swing user interface toolkit. Unlike traditional approaches, which use callbacks or listeners to...
141
click to vote
SIGCSE
2005
ACM
15 years 8 months ago
2005
ACM
Networking course projects are usually described by an informal specification and a collection of test cases. Students often misunderstand the specification or oversimplify it t...
OOPSLA
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we present aspect-oriented programming laws that are useful for deriving refactorings for AspectJ. The laws help developers to verify if the transformations they de...