Sciweavers

169 search results - page 4 / 34
» Introduction to Object-Oriented Concepts
Sort
View
114
Voted
FMOODS
2003
15 years 1 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
42
Voted
ENTCS
2007
82views more  ENTCS 2007»
14 years 11 months ago
Animation Metaphors for Object-Oriented Concepts
Jorma Sajaniemi, Pauli Byckling, Petri Gerdt

Book
313views
16 years 9 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
98
Voted
DOA
2000
97views more  DOA 2000»
15 years 1 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