9370 search results - page 383 / 1874 » An Abstract Notion of Application |
151
Voted
FMICS
2009
Springer
16 years 1 months ago
2009
Springer
In joint work with Cristiano Calcagno, Peter O’Hearn, and Hongseok Yang, we have introduced bi-abductive inference and its use in reasoning about heap manipulating programs [5]. ...
171
Voted
ICWE
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. This paper proposes using a Component Approach to model navigation in a hypertext application. It proposes Navigational Semantic Units (NSUs), which are component-oriente...
179
click to vote
TOMS
2010
15 years 5 months ago
2010
s the mathematical abstractions and methods used in the design of the library and its implementation. A number of examples are presented to demonstrate the use of the library in ap...
203
click to vote
ECOOP
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
161
Voted
ECOOP
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Program maintenance usually decreases the programs availability. This is not acceptable for highly available applications. Thus, such applications have to be changed at r...