A high-level modular definition of the semantics of C#

Egon Börger, Nicu G. Fruja, Vincenzo Gervasi, Robert F. Stärk. A high-level modular definition of the semantics of C#. Theoretical Computer Science, 336(2-3):235-284, 2005. [doi]

Abstract

Abstract is missing.