CS 5520 - Anatomy of a Modern Programming Language

Requirements, challenges, and techniques for designing a modern programming language, currently focusing on Java as a case study. Syntactic and lexical issues, semantic specification, modularity concepts, support for object-oriented programming, types and subtypes, type safety and security, portability, compilability, dynamic linking and loading, program evolvability, use of meta data (reflection), multi-threading, native code generation and linkage, generic types, persistence.