A Graph-based Semantics For Object-oriented Programming Constructs
| Autor: | Leila Ribeiro, Ana Paula Lüdtke Ferreira |
|---|---|
| Jazyk: | angličtina |
| Předmět: |
Graph rewriting
Object-oriented programming General Computer Science Computer science Programming language Voltage graph object-oriented programming Directed graph Semantics computer.software_genre Intersection graph Graph Theoretical Computer Science Graph grammars Morphism Mathematics::Category Theory Clique-width Graph (abstract data type) Null graph Lattice graph Graph property computer Computer Science(all) |
| Zdroj: | CTCS |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/j.entcs.2004.06.053 |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|