Current trends in design and philosophy of languages and systems. Data abstraction, data flow languages, alternative control structures, environments, correctness, software tools.
Prerequisite: 451.
News & Events | People | Academics | Research | Jobs | Companies | Visitors | Computer Facilities | Home