Skip to content

Commit

Permalink
Remove object terms, those should go in a separate section
Browse files Browse the repository at this point in the history
  • Loading branch information
llvm-beanz committed Sep 19, 2024
1 parent e66e423 commit 2398305
Showing 1 changed file with 1 addition and 7 deletions.
8 changes: 1 addition & 7 deletions specs/language/introduction.tex
Original file line number Diff line number Diff line change
Expand Up @@ -277,11 +277,6 @@
of 8 \textit{bits}. Each \textit{bit} stores a single value 0 or 1. Each byte
has a unique \textit{memory location}, alternatively called an \textit{address}.

\p An object that is not of an intangible type will have an associated set of
memory locations containing one or more location. For a bit-field the location
will represent a maximal sequence of adjacent bit-fields all having nonzero
width.

\p Each read or write to a memory location is called a \textit{memory access}.
Operations that perform memory accesses are called \textit{memory operations}. A
memory operation may operate on one or more memory locations. A memory operation
Expand All @@ -295,8 +290,7 @@

\p Two sets of memory locations, \texttt{A} and \texttt{B}, are said to
\textit{overlap} each other if some memory location in \texttt{A} is also in
\texttt{B} (\(A \cap B \neq \emptyset\)). Two objects are said to
\textit{alias}, if their memory locations overlap.
\texttt{B} (\(A \cap B \neq \emptyset\)).

\Sub{Memory Spaces}{Intro.Memory.Spaces}

Expand Down

0 comments on commit 2398305

Please sign in to comment.