Course page Home page Home page CoursesNew course

Operational semantics: Programming Language Design course | Zoonk

12. Operational semantics

Specify evaluation with transition rules, environments, stores, and evaluation contexts. Use small-step and big-step semantics to remove ambiguity from a language feature.

Programming Language Design

Create this chapter

This chapter is part of the course, but it hasn't been created yet. Create it to see all of its lessons.

Create chapterNBack to courseEsc