Mathematical use cases lead naturally to Non-Standard Inheritance Relationships

Marc Conrad; Tim French; Carsten Maple; Sandra Pott

Mathematical use cases lead naturally to Non-Standard Inheritance Relationships

Marc Conrad
, Tim French
, Carsten Maple
, Sandra Pott

Institute for Research in Applicable Computing (IRAC)

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

2 Downloads (Pure)

Abstract

Conceptually there is a strong correspondence between Mathematical Reasoning and Object-Oriented techniques. We investigate how the ideas of Method Renaming, Dynamic Inheritance and Interclassing can be used to strengthen this relationship. A discussion is initiated concerning the feasibility of each of these features.

Original language	English
Title of host publication	nan
Publisher	Springer
ISBN (Electronic)	9783540239888
ISBN (Print)	9783540239888
Publication status	Published - 1 Jan 2004
Event	ECOOP 2004 - Oslo Duration: 14 Jun 2004 → 18 Jun 2004

Conference

Conference	ECOOP 2004
City	Oslo
Period	14/06/04 → 18/06/04
Other	ECOOP 2004 (14/06/2004-18/06/2004, Oslo)

Keywords

Mathematics

Access to Document

M conradFinal published version, 104 KBLicence: CC BY-NC-ND

http://wiki.fricas.org/public/refs/m_conrad-axiom.pdf

Handle.net

Persistent link

Cite this

@inproceedings{12db942151f34246ae8c7cd4bfbc8839,

title = "Mathematical use cases lead naturally to Non-Standard Inheritance Relationships",

abstract = "Conceptually there is a strong correspondence between Mathematical Reasoning and Object-Oriented techniques. We investigate how the ideas of Method Renaming, Dynamic Inheritance and Interclassing can be used to strengthen this relationship. A discussion is initiated concerning the feasibility of each of these features.",

keywords = "Mathematics",

author = "Marc Conrad and Tim French and Carsten Maple and Sandra Pott",

year = "2004",

month = jan,

day = "1",

language = "English",

isbn = "9783540239888",

booktitle = "nan",

publisher = "Springer",

address = "Germany",

note = "ECOOP 2004 ; Conference date: 14-06-2004 Through 18-06-2004",

}

TY - GEN

T1 - Mathematical use cases lead naturally to Non-Standard Inheritance Relationships

AU - Conrad, Marc

AU - French, Tim

AU - Maple, Carsten

AU - Pott, Sandra

PY - 2004/1/1

Y1 - 2004/1/1

N2 - Conceptually there is a strong correspondence between Mathematical Reasoning and Object-Oriented techniques. We investigate how the ideas of Method Renaming, Dynamic Inheritance and Interclassing can be used to strengthen this relationship. A discussion is initiated concerning the feasibility of each of these features.

AB - Conceptually there is a strong correspondence between Mathematical Reasoning and Object-Oriented techniques. We investigate how the ideas of Method Renaming, Dynamic Inheritance and Interclassing can be used to strengthen this relationship. A discussion is initiated concerning the feasibility of each of these features.

KW - Mathematics

M3 - Conference contribution

SN - 9783540239888

BT - nan

PB - Springer

T2 - ECOOP 2004

Y2 - 14 June 2004 through 18 June 2004

ER -

Mathematical use cases lead naturally to Non-Standard Inheritance Relationships

Abstract

Conference

Keywords

Access to Document

Handle.net

Fingerprint

Cite this