20-CS-4003-001 Organization of Programming Languages Fall 2017
2016 Midterm

Lambda calculus, Type theory, Formal semantics, Program analysis

Review Topics

C/C++/Java
    memory safety:
    mem-unsafe-1.cc
    mem-unsafe-2.cc
    type safety:
    typ_unsafe_1.java
    typ_safe_1.java
    typ-unsafe-1.c
    typ-unsafe-2.c
    thread safety:
    thread_safe.java
    polymorphism:
    poly-ptr.cc
    poly-vir.cc
    parameter passing:
    call-by-name.c
    call-by-ref.cc
    call-by-val.cc
 
Scheme
    tail recursion:
    tail.ss
    continuation passing style (streams):
    cps.ss
    call with current continuation (call/cc):
    call-cc.ss
    closure:
    closure.ss