claim

active

claim:precise-specification-informs-use-and-implementation-without-entangling-them

Precise specification informs use and implementation without entangling them.

Source paper

extracted_from

Denotational design with type class morphisms (extended version)

(2015) · Elliott, Conal

Neighborhood — ranked by edge-count

Communities (2)

community

Design principles for care-centered systems
members_of
Cross-scale frameworks linking spatial patterns, diagrams, and simplicity as expressions of care in design.
Skill-based system design principles
members_of
Modular, single-purpose skills with scaled outputs, asynchronous composition, and diagnostic feedback loops for AI systems.

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.

Denotational design yields a precise, simple, and compelling specification that informs use and implementation without entangling them.claim0.789
Core claim of the methodology.
Conventional programming is precise only about how, not what.claim0.782
Critique that typical code lacks precise specification of meaning.
Proving that a program meets accomplishment specifications must be based on assumptions about the world, the information it makes available to the program and the effects of the program's actions as well as on facts about the program itself.claim0.776
Claim about the nature of accomplishment verification.
For some purposes, it will be convenient to settle for specifications in terms of fulfilling internal commitments, and sometimes the public character of promises will have to be taken into account in the specifications.claim0.774
Trade-off between internal and public obligations.
Everything is vague to a degree you do not realize till you have tried to make it precise.concept0.763
Epigraph motivating the necessity of precise semantic specification in programming
Task instructions can be transcribed into prior beliefs of a generative model, making instruction-following an instance of prior belief specification.claim0.762
Practical implication showing task instructions are equivalent to inducing prior beliefs in experimental settings
Indicators should avoid ambiguous terms and contested concepts, but without prematurely committing to precise specifications that anticipate all uncertainties.claim0.761
Fourth guideline for deriving indicators; illustrated by algorithmic vs implementation-level recurrence distinction
Semantics might emancipate itself from its traditional focus on interpreting syntax and become a more autonomous study of the fundamental structures of Informatics.concept0.759
Vision statement for Information Dynamics as emerging field transcending traditional computer science semantics.