A Monotonic Superclass Linearization for Dylan.

Barrett, K., Cassels, B., Haahr, P., Moon, D. A., Playford, K., & Withington, P. T. (1996). A Monotonic Superclass Linearization for Dylan. OOPSLA '96 Proceedings, 31(10), 69-82.

Type

Conference paper

Intellectual base

Primary research

Year

1996

Volume

31

Issue

10

Pages

69-82

DOI

10.1145/236337.236343

DOI registrant

Association for Computing Machinery

Link

https://doi.org/10.1145/236337.236343

Cited from

computer_science

Cited by

1 citation across 1 artifact.

Each citation links to the sentence it supports in the citing article.

Primes

• Inheritance
  • Override-with-discipline: every override is an exception to a default, and disciplined regimes (audit trails, super-calls, ordering rules) keep the pattern useful while undisciplined ones degenerate into ad-hocery in software, legal reasoning, and organisational norms alike. Single-versus-multiple-inheritance trade-off: the diamond problem, the homologous-versus-analogous-trait problem, and the multiple-doctrine reconciliation problem are the same shape, and discipline-imposed linearization (C3 linearization, cladistic parsimony, lex specialis) all solve it.

    This sourceDefines the C3 linearization algorithm that resolves multiple-inheritance method-resolution order.

Verification

Does it exist? Confirmed. This work's DOI resolves to a registered record, which fixes its identity. That is all it fixes.

Does it back the claim? Not recorded. The single citation of this work carries no recorded support check.

Support is checked per citation rather than per work — the same source can be cited soundly in one article and wrongly in another. Per-citation recording began recently, so a citation with no recorded check is a gap in the record rather than evidence it went unchecked.

See how references were verified.

Registry ID ref:65350840e44c · see in the full table