Methods for Semantics Specification

1. Operational Semantics:

• the meaning of a program in the language is the evaluation history that the interpreter produces when it interprets the program (the behaviour is defined in terms of the behaviour or an abstract machine which operates according to the structure of a program)

• Problems: No machine independent definition exists & we need to write the interpreter!

• Advantage: Implement the interpreter and we have implemented the language

Previous slide

Next slide

Back to first slide

View graphic version