Construct · 2 fields · 2 citations

Where does slice collide?

One name. Different field. Different construct. One map.

● jingle · one word, two constructs Nearest construct by meaning·not indexed
slice2 CONSTRUCTSProgram sliceWEISER · PROGRAM SLICESlice categoryMAC LANE · OVER-CAT

Spokes are fields; dashed arcs are shared lineage. Tap a field for its definition, unit, and measures.

1984Program slice1998Slice category
2026

Drag to watch the word get claimed. Each field appears at the publication date of the earliest source cited for it. Tap a year to see which.

Computer science

The code that can affect one value

In software engineering, a program slice is the set of statements in a program that can affect the value of a chosen variable at a chosen point, extracted by following control and data dependencies backward from that point. Weiser's 1984 Program slicing formalised the idea as a decomposition that isolates just the computation relevant to one result, which is why slicing underpins debugging, testing, and program comprehension. The referent is a dependency-closed subprogram defined by a slicing criterion rather than by geometry or ballistics, unrelated to a radiological cross-section, a sports stroke, or a categorical construction.[1]

Unit
The set of statements that can affect a chosen variable at a chosen point
Recovery means
Not applicable
Measured by
Characterised by the slicing criterion and the size of the resulting dependency-closed statement set

Category theory

a category whose objects are the morphisms pointing into a fixed object, with commuting triangles as morphisms.

In category theory a slice category (or over-category) C/A has as its objects the morphisms of C that point into a fixed object A, with commuting triangles as its morphisms; the dual under-category collects the morphisms out of A. Mac Lane's Categories for the working mathematician develops these alongside comma categories as standard constructions. The referent is a category built relative to a fixed object, a formal structure unrelated to a tennis stroke, a golf shot, an imaging plane, or a reduced program despite the shared image of taking a slice.[2]

Unit
A category of arrows into (or out of) a fixed object
Recovery means
Not applicable
Measured by
Defined structurally by its objects (arrows to A) and its commuting-triangle morphisms

Next

Run it through the Collider, or take the citations with you.

See how slice sits against neighbouring constructs in the Collider, or export every reference on this page in one click.

Open in ColliderExport BibTeXReport this collision

Nearby collisions

borrow1 fields · 1 citationsanchor · a standalone constructrough2 fields · 2 citationsjingle · one word, two constructslie2 fields · 2 citationsjingle · one word, two constructs

References

  1. Weiser, M. (1984). Program slicing. IEEE Transactions on Software Engineering, SE-10(4), 352–357. https://doi.org/10.1109/TSE.1984.5010248
  2. Mac Lane, S. (1998). Categories for the working mathematician (2nd ed.). Springer. ISBN 9780387984032

Cited on this page?

Confirm your construct, or correct us.

If your work is cited behind one of these entries, you know better than we do whether we captured the meaning right. Confirm it, suggest an edit, or dispute it, and your name goes on the entry as an author who has checked it, linked to your ORCID.

Claim your construct