794 search results - page 8 / 159 » Evaluation of Assertion Support for the Java Programming Lan... |
APLAS
2004
ACM
13 years 11 months ago
2004
ACM
A programming construct mixin was invented to implement uniform extensions and modifications to classes. Although mixin-based programming has been extensively studied both on the m...
ISWC
2002
IEEE
14 years 12 days ago
2002
IEEE
This paper investigates the use of programming language constructs to realize adaptive behavior in support of collaboration among users of wearable and handheld computers. A proto...
PEPM
2007
ACM
14 years 1 months ago
2007
ACM
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
PLDI
2010
ACM
14 years 17 days ago
2010
ACM
AMAST
2008
Springer
13 years 9 months ago
2008
Springer
Several proof systems allow the formal verification of Java programs, and a specification language was specifically designed for Java. However, none of these systems support generi...