Object-Oriented Programming - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

4

(FIVE YEARS 0)

H-INDEX

3

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783540582021, 9783540485674

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Modeling object-oriented program execution

Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0052182 ◽

1994 ◽

pp. 163-182 ◽

Author(s):

Wim De Pauw ◽

Doug Kimelman ◽

John Vlissides

Keyword(s):

Object Oriented ◽

Program Execution

Download Full-text

Methods as assertions

Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0052176 ◽

1994 ◽

pp. 60-80 ◽

Author(s):

John Lamping ◽

Martin Abadi

Download Full-text

Real-time specification inheritance anomalies and real-time filters

Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0052193 ◽

1994 ◽

pp. 386-407 ◽

Author(s):

Mehmet Aksit ◽

Jan Bosch ◽

William van der Sterren ◽

Lodewijk Bergmans

Keyword(s):

Download Full-text

Roles and dynamic subclasses: A modal logic approach

Object-Oriented Programming - Lecture Notes in Computer Science ◽

10.1007/bfb0052175 ◽

1994 ◽

pp. 32-59 ◽

Author(s):

Roel Wieringa ◽

Wiebren de Jonge ◽

Paul Spruit

Keyword(s):

Modal Logic ◽

Download Full-text