Skip to content
STIMSMITH

Write Operation (EMM)

CodeArtifact
First seen 6/18/2026
Last seen 6/18/2026
Evidence 3 chunks

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

5 connections
Efficient Memory Model (EMM) part of → 100% 1e
The Write operation is part of the EMM software interface.
Address Set Expression (ASExpr) uses → 100% 1e
The Write operation takes an address set expression as argument.
Data Set Expression (DSExpr) uses → 100% 1e
The Write operation takes a data set expression as argument.
Control Expression (CExpr) uses → 100% 1e
The Write operation uses a control expression to determine when to write.
VerifyGenerality Procedure uses → 95% 1e
The modified Write operation calls VerifyGenerality to check the variable-group indexing invariant.