What do we care ° Easy to use Language design: good syntax, clear semantics, high-abstraction level Enhance software productivity e. g. domain specific languages(DSL Better performance Language implementations compilers, runtime(GC), parallelization Better software quality (reliability and security) Type safety, static/ dynamic checking, verification heoretical foundations Semantics, verification etc Connections with other related fields: logic, computation theory, etcWhat do we care • Easy to use – Language design: good syntax, clear semantics, high-abstraction level – Enhance software productivity • e.g., domain specific languages (DSL) • Better performance – Language implementations: compilers, runtime (GC), parallelization • Better software quality (reliability and security) – Type safety, static/dynamic checking, verification • Theoretical foundations – Semantics, verification, etc. • Connections with other related fields: logic, computation theory, etc