Work

A Graph-based Semantics For Object-oriented Programming Constructs

Year: 2005

Type: article

Abstract: This paper presents a graph-based formalism for object-oriented class structure specifications. The formalism combines labelled graphs with partial orders, to adequately model the (single) inheritance relation among objects and the overriding relation between methods within derived classes. The semantics of system extension by inheritance and aggregation is then defined as colimits in a suitable category of object-oriented system specifications and their morphisms.

Source: Electronic Notes in Theoretical Computer Science

DOI: 10.1016/j.entcs.2004.06.053

Authors: Ana Paula Lüdtke Ferreira, Leila Ribeiro

Institutions: Universidade do Vale do Rio dos Sinos, Universidade Federal do Rio Grande do Sul

Language: English

Topic: Logic, programming, and type systems

Subfield: Software

Field: Computer Science

Domain: Physical Sciences

Open Access status: diamond

OpenAlex ID: W1966082459

FWCI: 0.577

Cites: 19

Cited by: 9

Related to: 10