3311 search results - page 270 / 663 » Deductive Object Programming |
129
Voted
ECOOP
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Aspects have emerged as a powerful tool in the design and development of systems, allowing for the encapsulation of program transformations. The dynamic semantics of aspe...
145
click to vote
ECOOP
2001
Springer
15 years 7 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...
130
click to vote
ICPP
1997
IEEE
15 years 6 months ago
1997
IEEE
r The lack of a versatile software tool for parallel program development has been one of the major obstacles for exploiting the potential of high-performance architectures. In this...
129
Voted
ASWEC
2001
IEEE
15 years 6 months ago
2001
IEEE
Static analysis is a tremendous help when trying to find faults in complex software. Writing multi-threaded programs is difficult, because the thread scheduling increases the prog...
110
click to vote
ESOP
2007
Springer
15 years 8 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...