This site uses cookies. By continuing to use this site, closing this banner, or clicking "I Agree", you agree to the use of cookies.
Read our cookies policy and privacy statement for more information.
Stand with UkraineDonate
- Home
- California
- University of California-Davis
- Course info
- ecs-240 - programming-languages
University of California-Davis Course Info
Davis, California•
10 reviews
Course Info
Search for courses by clicking on letters of the alphabet or by using a search bar. Explore course description, number of credits required and course sequences to satisfy graduation requirements.
ECS 240
Programming Languages
Advanced topics in programming languages, including formal syntax and semantics, the relation between formal semantics and verification, an introduction to the lambda calculus. Additional topics will include language design principles, alternative programming languages, in-depth semantic theory and models of language implementation.
Units: 4.0
Hours: Lecture—3 hour(s); Discussion—1 hour(s).
Prerequisites:
ECS 142 - Compilers
and
ECS 140A - Programming Languages