| 
|
Quote: an abstract store (.phi.) maps L-values to R-values; assignment is an operator on .phi. producing a fresh .phi.
Topic:
evaluation in an environment
Quotation Skeleton
Our conceptual model of the computing process includes … is that at any moment it specifies the … for this mapping from L-values onto R-values. … We can … regard assignment as an operator on .phi. which … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: evaluation in an environment (35 items)