An Action Environment

Some basic programming constructs (e.g., conditional statements) are found in many di#erent programming languages, and can often be included without change when a new language is designed. When writing a semantic description of a language, however, it is usually not possible to reuse parts of previous descriptions without change. Thi