Programming Language Technology Trends technology time SNU 4190

  • Slides: 10
Download presentation
Programming Language Technology Trends technology time

Programming Language Technology Trends technology time

SNU 4190. 310 Topics Review

SNU 4190. 310 Topics Review

syntax/semantics/inductive definitions/proofs by induction imperative languages variable/binding/scope/environment parameter passing/recursion memory management: manual/automatic interpreters, virtual

syntax/semantics/inductive definitions/proofs by induction imperative languages variable/binding/scope/environment parameter passing/recursion memory management: manual/automatic interpreters, virtual machines, translation role of types sound/unsound type system: manual/automatic language model: lambda calculus evaluation order, language core/sugar sound simple type system sound let-polymorphic type system(parametric polymorphism) type inference algorithms sound subtype system support for abstractions: module/ADT essence of object-oriented programming lang inheritance (dynamic dispatch, subtype polymorphism) hws & challenges (learn by doing)

SNU 4190 310 Programming Language Prof Kwangkeun YiSNU 4190 310 Programming Language Prof Kwangkeun Yi
SNU 4190 210 Principles of Programming 10 00SNU 4190 210 Principles of Programming 10 00
SNU 4190 210 Principles of Programming 1 1SNU 4190 210 Principles of Programming 1 1
TAJEMNICE SNU Znaczenie snu dla czowieka 1 redukcjaTAJEMNICE SNU Znaczenie snu dla czowieka 1 redukcja
Periodic Trends Periodic Trends Periodic Trends are trendsPeriodic Trends Periodic Trends Periodic Trends are trends
Interactive Storytelling 4190 420 Computer Game Jehee LeeInteractive Storytelling 4190 420 Computer Game Jehee Lee
Game Documentation 4190 420 Computer Game Jehee LeeGame Documentation 4190 420 Computer Game Jehee Lee
4190 704 A Conceptual Model for Diffserv Routers4190 704 A Conceptual Model for Diffserv Routers
Computer Game 4190 420 Course Overview Jehee LeeComputer Game 4190 420 Course Overview Jehee Lee