Course contentsShow
Computer Science
Lesson 2017 of 2,87245. Type Systems and SemanticsPro lesson

Introduction to Operational Semantics

What operational semantics is and why it formally defines program execution behavior step-by-step.

This lesson is for subscribers

You've completed the free preview. Subscribe to unlock every lesson in every course.