Author:
Vasenin V. A.,Krivchikov M. A.
Reference11 articles.
1. Benton, N., Kennedy, A., and Varming, C., Some Domain Theory and Denotational Semantics in Coq, TPHOLs, Berghofer, S., Nipkow, T., Urban, C., and Wenzel, M., Eds., LNCS, 2009, vol. 5674, pp. 115–130.
2. Balzy, S., Dargaye, Z., and Leroy, X., Formal Verification of a C Compiler Front-End, FM2006: Formal Methods, 2006, pp. 460–475.
3. ECMA-335: Common Language Infrastructure (CLI), Geneva, Switzerland: ECMA (European Association for Standardizing Information and Communication Systems), 2006, 4th edition.
4. Feldman, J.A., A Formal Semantics for Computer Languages and its Application in a Compiler-Compiler, Commun. ACM, 1966, vol. 9, no. 1, pp. 3–9.
5. Universal Multiple-Octet Coded Character Set (UCS), Geneva, Switzerland: ISO, 2003.