executed certain platform hence creating model computation overview field formal semantics encompasses following definition semantic models relations different semantic models relations different approaches meaning relation computation underlying mathematical structures fields logic set theory model theory category theory etc close links areas computer science programming language design type theory compilers interpreters program verification model checking approaches many approaches formal semantics belong three major classes
Formal science Computer science Programming languages Program semantics