operational semantics and denotational semantics emerged.

Overview

The field of formal semantics encompasses all of the following:
*The definition of semantic models
*The relations between different semantic models
*The relations between different approaches to meaning
*The relation between computation and the underlying mathematical structures from fields such as logic,

1.Previous
3.Next