15312 Foundations Of Programming Languages [2021] -

Upon completing 15-312, students are expected to master a powerful set of concepts and skills:

This follows from:

Yes. Here is why the makes you a better engineer: 15312 foundations of programming languages

is a rigorous computer science course at Carnegie Mellon University (CMU) that explores the mathematical and structural principles of programming language design . It shifts the focus from simply using languages to understanding how they are defined, implemented, and proven correct through formal methods. Course Overview Upon completing 15-312, students are expected to master

In the world of computer science, most developers learn how to use a language to solve problems. However, at Carnegie Mellon University (CMU) shifts the perspective entirely. Instead of asking how to write a program, this course asks: What is a programming language, and how can we mathematically prove it works? . Course Overview In the world of computer science,

Engineers frequently need to write custom configuration languages or query engines. 15-312 provides the tools to make these custom tools secure and efficient. Conclusion