Publication | Closed Access

A high-level modular definition of the semantics of <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="normal">C</mml:mi><mml:mo>♯</mml:mo></mml:math>

Math XmlnsMi Mathvariant=Formal NotationEngineeringModeling NotationAlgebraic SemanticsAbstract InterpretationGraphic SymbolsFormal MethodsMathematical FoundationsHigh-level Modular DefinitionComputer ScienceHigher-order LogicSemanticsProgramming Languages