3207 search results - page 498 / 642 » A Semantics for HTN Methods |
132
click to vote
ESOP
2007
Springer
15 years 11 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
144
click to vote
FASE
2007
Springer
15 years 11 months ago
2007
Springer
Although unit tests are recognized as an important tool in software development, programmers prefer to write code, rather than unit tests. Despite the emergence of tools like JUni...
157
click to vote
FMCO
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Many distributed applications can be understood in terms of components interacting in an open environment. This interaction is not always uniform as the network may consi...
136
click to vote
OOPSLA
2007
Springer
15 years 11 months ago
2007
Springer
Design defects come from poor design choices and have the effect of degrading the quality of object-oriented designs. Therefore, they present opportunities for improvements. Howev...
123
click to vote
SAS
2007
Springer
15 years 11 months ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...