183 search results - page 12 / 37 » Mostly-Functional Behavior in Java Programs |
127
click to vote
IJWIS
2006
15 years 10 days ago
2006
: Using Internet-enabled mobile handheld devices to access the World Wide Web is a promising addition to the Web and traditional e-commerce. Mobile handheld devices provide conveni...
DAC
1998
ACM
16 years 1 months ago
1998
ACM
Successive, formal refinement is a new approach for specification of embedded systems using a general-purpose programming language. Systems are formally modeled as Abstractable Sy...
111
click to vote
PPOPP
2012
ACM
13 years 8 months ago
2012
ACM
We present Dynamic Out-of-Order Java (DOJ), a dynamic parallelization approach. In DOJ, a developer annotates code blocks as tasks to decouple these blocks from the parent executi...
107
click to vote
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
Java provides a program-level exception handling mechanism in response to error conditions (that are translated into exceptions by Java VM). However, exception handling code is of...
108
click to vote
KBSE
2006
IEEE
15 years 6 months ago
2006
IEEE
Recovering design patterns can enhance existing source code analysis tools by bringing program understanding to the design level. This paper presents a new, fully automated patter...