About this document
Natural Semantics in WHILE Language by orial is a document available to read on EtoBox.
This document outlines the natural semantics approach for modeling the semantics of programming languages. It introduces natural semantics and describes some key properties, including how it can be used to define the semantics of expressions and statements in a way that is compositional, unambiguous, and allows reasoning about programs.
- Author
- orial
- Language
- EN