Don Syme

Don Syme

Microsoft Research - - / United States
Engineering & Technology / Computer Science
AD Scientific Index ID: 4394494
person_outline Don Syme's MOST POPULAR ARTICLES
1-) Design and implementation of generics for the. net common language runtimeA Kennedy, D SymeProceedings of the ACM SIGPLAN 2001 conference on Programming language …, 20013232001
2-) Verifying intermediate language codeD Syme, A Gordon, JA Forbes, VP MorrisonUS Patent 6,851,108, 20051812005
3-) Proving Java type soundnessD SymeFormal Syntax and Semantics of Java, 83-118, 19991711999
4-) Typing a multi-language intermediate codeAD Gordon, D SymeACM SIGPLAN Notices 36 (3), 248-260, 20011402001
5-) An industrially effective environment for formal hardware verificationCJH Seger, RB Jones, JW O\'Leary, T Melham, MD Aagaard, C Barrett, ...IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 20051302005