597 search results - page 57 / 120 » Formal Techniques for Java-Like Programs |
WIA
2005
Springer
14 years 1 months ago
2005
Springer
The paper introduces a robust spelling correction technique to deal with ill-formed input strings, including unknown parts of unknown length. In contrast to previous works, we deri...
PPDP
2007
Springer
14 years 1 months ago
2007
Springer
Program transformation is an appealing technique which allows to improve run-time efficiency, space-consumption and more generally to optimize a given program. Essentially it con...
SAS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Shape analyses are often imprecise in their numerical reasoning, whereas numerical static analyses are often largely unaware of the shape of a program’s heap. In this p...
ICCS
2003
Springer
14 years 26 days ago
2003
Springer
Abstract. Although current programming models provide adequate performance, many prove inadequate to support the effective development of efficient Grid applications. Many of the ...
AGTIVE
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In runtime monitoring, a programmer specifies code to execute whenever a sequence of events occurs during program execution. Previous and related work has shown that runt...