@prefix schema: .
@prefix dc: .
@prefix dcterms: .
@prefix rdf: .
@prefix rdfs: .
@prefix skos: .
@prefix prov: .
@prefix emsenn: .
<https://emsenn.net/library/domains/engineering/domains/tech/terms/writes/>
rdf:type schema:Article ;
schema:url <https://emsenn.net/library/domains/engineering/domains/tech/terms/writes/> ;
schema:name "Writes" ;
schema:description "Writing is a relation O writes R — operation O writes to resource R — asserting that O modifies R in place: R exists before O and after O, but its state has changed. The defining structure: writing is destructive modification — the resource's identity persists (it is still R) but its content changes. Writing is not consumption (the resource persists after writing) and not production (the resource existed before writing). Writing corresponds to exclusive write access in separation logic (full ownership that changes the pointed-to value), to transitions that modify a Petri net place's token count, and to the write effect in effect type systems." ;
schema:datePublished "2026-03-20" ;
schema:dateModified "2026-03-20" ;
schema:about <https://emsenn.net/library/domains/engineering/domains/tech/terms/writes/> ;
rdfs:seeAlso "Reads, Takes, Consumes, Produces, SeparationLogic, EffectType, StateTransition" ;
schema:identifier <https://emsenn.net/library/domains/engineering/domains/tech/terms/writes/> .