1041 search results - page 28 / 209 » Object Oriented Parallel Programming |
144
click to vote
FMOODS
2008
15 years 3 months ago
2008
Reasoning about object-oriented programs is hard, due to , dynamic binding and the need for data abstraction and framing. Reasoning about concurrent object-oriented programs is eve...
IPPS
2000
IEEE
15 years 6 months ago
2000
IEEE
113
click to vote
LISP
2008
15 years 2 months ago
2008
Trace effects are statically generated program abstractions, that can be model checked for verification of assertions in a temporal program logic. In this paper we develop a type a...
ECOOPW
1998
Springer
15 years 6 months ago
1998
Springer
145
click to vote
AOSD
2007
ACM
15 years 6 months ago
2007
ACM
Developing and debugging parallel programs particularly for distributed memory architectures is still a difficult task. The most popular approach to developing parallel programs f...