| 
|
Quote: abstract C-- defines a formal semantics that hides registers, calling convention, instruction set, spills, register shuffles, value passing registers, and the stack of activation records
topics >
all references >
references p-r >
Topic:
semantics by an abstract machine
Quotation Skeleton
We define Abstract C--, a language that resembles … [p. 294] The C-- abstract machine is designed to … and the instruction set. The control p corresponds … stored in registers or in the activation record; … changes cs, is implemented by instructions that move … The value-passing area A is an abstraction representing … that may be reserved on the stack. … [p. 295] Finally, the abstract stack corresponds to the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: semantics by an abstract machine (38 items)