Sciweavers

169 search results - page 4 / 34
» Introduction to Object-Oriented Concepts
Sort
View
FMOODS
2003
13 years 11 months ago
A Syntax-Directed Hoare Logic for Object-Oriented Programming Concepts
This paper outlines a sound and complete Hoare logic for a sequential object-oriented language with inheritance and subtyping like Java. It describes a weakest precondition calculu...
Cees Pierik, Frank S. de Boer
ENTCS
2007
82views more  ENTCS 2007»
13 years 9 months ago
Animation Metaphors for Object-Oriented Concepts
Jorma Sajaniemi, Pauli Byckling, Petri Gerdt

Book
313views
15 years 8 months ago
A Functional Pattern System for Object-Oriented Design
"Design patterns inspired by functional programming concepts can advance object-oriented design. This thesis promotes the idea that concepts from the world of functional progr...
Thomas Kühne
DOA
2000
97views more  DOA 2000»
13 years 11 months ago
Load Management for Distributed Object-Oriented Environments
This paper presents a load management concept for distributed object-oriented environments. The focus is on system level load management, i.e. the integration of load management i...
Markus Lindermeier