extend semantic evaluation in terms of both an environment (denoted values for variables) and a store (storable values for locations) this allows side effects
Related Topics
Topic: evaluation in an environment (34 items)