[ Course Documents ] : [ Semantics ]

Previous Contents Next Keyword Index

Denotational Semantics

• Based on recursive function theory

• The most abstract semantics description method

• Originally developed by Scott and Strachey (1970)

• Key idea: Define a function that maps a program (a syntactic object) to its meaning (a semantic object)