779 search results - page 7 / 156 » A programming model for concurrent object-oriented programs |
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Previous studies on program comprehension were carried out largely in the context of procedural languages. Our purpose is to develop and evaluate a cognitive model of object-orient...
ANSS
2004
IEEE
14 years 9 days ago
2004
IEEE
A new object-oriented version of the SIMSCRIPT programming language is under development. Incorporating modules and object classes, the new language is designed for modular, objec...
CONCURRENCY
1998
13 years 8 months ago
1998
TSE
2008
13 years 8 months ago
2008
We present Delta Execution, a technique that speeds up state-space exploration of object-oriented programs. Statespace exploration is the essence of model checking and an increasin...
JMLC
1997
Springer
14 years 21 days ago
1997
Springer
Abstract. We describe a system designed to provide database programming support for Oberon programmers. The system is based on a generic object-oriented data model which supports r...