1210 search results - page 42 / 242 » Formal Techniques for Java Programs |
135
click to vote
KBSE
1997
IEEE
15 years 6 months ago
1997
IEEE
Partial evaluation is an optimization technique traditionally used in compilation. We have adapted this technique to the understanding of scientic application programs during t...
129
click to vote
FM
2003
Springer
15 years 7 months ago
2003
Springer
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
126
click to vote
ECOOP
2010
Springer
15 years 6 months ago
2010
Springer
Automated refactorings as implemented in modern IDEs for Java usually make no special provisions for concurrent code. Thus, refactored programs may exhibit unexpected new concurren...
116
click to vote
PEPM
2007
ACM
15 years 8 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...
144
click to vote
ICFP
1999
ACM
15 years 6 months ago
1999
ACM
A good foreign-language interface is crucial for the success of any modern programming language implementation. Although all serious compilers for functional languages have some f...