1041 search results - page 28 / 209 » Object Oriented Parallel Programming |
FMOODS
2008
13 years 10 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
14 years 1 months ago
2000
IEEE
LISP
2008
13 years 8 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
14 years 28 days ago
1998
Springer
AOSD
2007
ACM
14 years 22 days 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...