1397 search results - page 135 / 280 » On the Need for Practical Formal Methods |
127
Voted
ECOOP
2010
Springer
15 years 9 months ago
2010
Springer
Abstract. Aspect-oriented programming (AOP) has produced interesting language designs, but also ad hoc semantics that needs clarification. We contribute to this clarification wit...
139
click to vote
SAS
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Logic languages based on the theory of rational, possibly infinite, trees have much appeal in that rational trees allow for faster unification (due to the omission of t...
111
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
Models are gaining importance in software development, for instance in the MDD field, as well as in other disciplines such as biology and physics. Hence, tool support is needed to ...
139
click to vote
SAC
2008
ACM
15 years 3 months ago
2008
ACM
The emergence of the Web has made more and more news items available, however only a small subset of these news items are relevant in a decision making process. Therefore decision...
162
click to vote
SAS
2010
Springer
15 years 2 months ago
2010
Springer
The efficiency of a points-to analysis is critical for several compiler optimizations and transformations, and has attracted considerable research attention. Despite several advanc...