Primitive Domains
Computer store locations
Domain Location, the address space in a computer store
Operations
firstlocn: Location
nextlocn: Location ? Location
eqlocn: Location x Location ?Tr
lessl: Location x Location ? Tr
In adequate for defining the semantics of an assembly language,
as an assembly lang. Allows random access of the locations in a
store and treats locations as numbers. It works well for prog.
Langs whose storage is allocated in static or stack like fashion.