claim

active

claim:abstraction-is-the-key-of-any-modularization-without-it-reliability-and-correctness-guarantees-vanish

Abstraction is the key of any modularization; without it, reliability and correctness guarantees vanish.

Fundamental design principle driving Oberon: proper abstraction enables modular structure and maintainability.

Source paper

extracted_from

Project Oberon: the design of an operating system and compiler

(2005) · Wirth, Niklaus · Gutknecht, Jürg

Neighborhood — ranked by edge-count

Communities (4)

community

Design principles for care-centered systems
members_of
Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
Denotational design and interface abstraction
members_of
Applies functional programming principles to UI structure via precise mathematical models, enabling formal verification and revealing computational architecture through interface design.
Type abstraction and modular correctness
members_of
Explores how type systems enforce abstraction boundaries to prevent leaks that compromise modularity and formal guarantees in code.
Information hiding for modular abstraction
members_of
Parnas-style decomposition where modules encapsulate secrets to ensure correctness invariants.

Concepts (1)

concept

Extensibility (Data and Procedural)
supports
Core design principle allowing new modules and data types to be added without modifying core; enabled by Oberon's type extension feature.

Related by similarity (8)

cosine ≥ 0.65 · no typed edge

Entities in the same semantic neighborhood but without a typed relation to this one — candidates for new edges or unrecognized duplicates.

If systems are designed with proper purpose-oriented abstractions expressed in appropriate language, then modular structure with guaranteed reliability becomes achievable.hypothesis0.835
Core hypothesis underlying Oberon design; validated by the system's successful modularity and extensibility.
Abstraction and modularization through information hiding maintain system invariants.claim0.817
"Expressing delegation as a pair of β-transformations on keys in an associative memory emphasises a fundamental symmetry of the delegation mechanism that is ignored by most object-oriented programming languages."concept0.775
Causal abstraction implicitly relies on strong assumptions about feature encoding in DNNs, and becomes trivial without such assumptionsclaim0.772
Authors' interpretation connecting their proof to practical interpretability methodology
Simple problems require systems that expose simple solutions; forcing complex solutions signals misaligned abstraction level.claim0.771
Parlog's merge process for client-server is unnecessarily complex; Linda's tuple operations remain flexible across problem variants.
Representational abstraction of truth may emerge more clearly with model scaleclaim0.771
Interpretation of weaker PCA separation and lower ASR in smaller models
Interpretive abstraction is a fairly simple programming technique, but it's only possible if the parallelism tools are under the programmer's control.claim0.771
Contrasts with auto-parallelizing compilers; flexibility of Linda.
Causal abstraction is not enough for mechanistic interpretability because it becomes vacuous without assumptions about how models encode informationclaim0.771
Central thesis of the paper

Cross-corpus bridges (1)

same_concept_as · Nomic cosine

External markdown files that talk about the same concept as this entity.

alexander
2022 02 10 Mikael Brockman denotational design lambdajam 2015.pdf 77a798papers/extracted/2022-02-10_Mikael-Brockman_denotational-design-lambdajam-2015.pdf_77a798.md0.764