1210 search results - page 76 / 242 » Formal Techniques for Java Programs |
114
click to vote
CSMR
2004
IEEE
15 years 6 months ago
2004
IEEE
Most legacy systems have been altered due to prolonged maintenance to the point that they deviate significantly from their original and intended design and consequently, they lack...
175
click to vote
WCRE
2002
IEEE
15 years 7 months ago
2002
IEEE
In this paper we describe a technique that can be used to annotate source code with syntactic tags in XML format. This is achieved by modifying the parser generator bison to emit ...
152
Voted
CLIMA
2006
15 years 3 months ago
2006
This paper reports on a fertile marriage between madAgents, a Java and Prolog based multi-agent platform, and EVOLP, a logic programming based language to represent and reason abou...
132
Voted
ENTCS
2007
15 years 2 months ago
2007
We introduce the idea of optimisation validation, which is to formally establish that an instance of an optimising transformation indeed improves with respect to some resource mea...
119
click to vote
OOPSLA
2001
Springer
15 years 7 months ago
2001
Springer
The Multitasking Virtual Machine (called from now on simply MVM) is a modification of the Java™ virtual machine. It enables safe, secure, and scalable multitasking. Safety is ac...