Check out my first novel, midnight's simulacra!

Programming languages

From dankwiki
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

Formal Semantics

  • Denotational semantics -- map grammatical elements directly to mathematical functions
  • Axiomatic semantics -- apply a system of axioms + deduction rules to the grammar
  • Operational semantics -- map language constructs to a simple (well-defined) abstract machine
  • Attribute grammars (Knuth, 1968) -- extensions of context-free grammars. An attribute grammar AG consists of:
    • a context-free grammar G
    • a finite set of attributes A
    • a finite set of semantic rules having form R : AG = (G, A, R ).


References

See Also