Tag: operational semantics
- Programming Language Theory: From Machine Code to Type Systems and ParadigmsThe layers of machine code, assembly and high-level languages, checked against the actual RISC-V encoding; progress and preservation proved over the operational semantics of a tiny language; and a comparison of static with dynamic typing and of functional with object-oriented design.Computer ScienceFoundations of Computer ScienceUndergraduateprogramming languagestype systemscompilersoperational semanticsparadigms~27 min
Operated by: Mugen Giken LLC ・Pricing ・Terms ・Legal notice