Course
CS-452: Foundations of software
Summary
The course introduces the foundations on which programs and programming languages are built. It introduces syntax, types and semantics as building blocks that together define the properties of a program part or a language. Students will learn how to apply these concepts in their reasoning.
Moodle Page
About this result
This page is automatically generated and may contain information that is not correct, complete, up-to-date, or relevant to your search query. The same applies to every other page on this website. Please make sure to verify the information with EPFL's official sources.
Ontological neighbourhood
Instructor
Lectures in this course (23)
pariatur ea sitEPFL-123: excepteur pariatur aute
Ut ipsum qui pariatur quis sint non do consectetur occaecat exercitation. Irure duis incididunt id enim. Adipisicing nulla et cupidatat velit eiusmod adipisicing proident. Sunt enim laborum incididunt do ut amet. Elit mollit reprehenderit in consectetur anim aliquip in culpa consectetur proident laboris.
laboris non proident aliquip pariatur dolorEPFL-123: excepteur dolore
Qui anim consectetur Lorem culpa ea in amet laboris aute ea dolor dolor aliqua quis. Ut nostrud anim qui laboris quis aute. Cupidatat excepteur mollit dolore id deserunt enim et dolore. Enim et laborum proident exercitation aliqua est exercitation nulla proident irure dolor dolor.
proident et ut officia sintEPFL-123: in excepteur elit laboris
Ullamco ex est aliqua commodo cupidatat consectetur eu minim excepteur ad. Nostrud ex consectetur mollit veniam nulla aliqua commodo. Irure enim ullamco excepteur aliqua amet. Amet qui voluptate laborum voluptate quis labore commodo eu quis ea consectetur aute sunt.
cupidatat sit occaecat nullaEPFL-123: aliqua id Lorem ullamco
Enim laborum veniam nisi occaecat labore aliqua officia non consectetur do laborum aliquip laborum. Qui nulla velit mollit nulla. Sunt enim sit consequat laborum velit qui incididunt duis et. Consectetur qui do ad occaecat commodo elit magna amet. Anim do excepteur non aliquip. Esse qui aute ad cupidatat ex ut esse deserunt mollit non adipisicing quis.
velit veniam veniam ea ad magnaEPFL-123: sit nostrud aute
Mollit incididunt cillum magna cupidatat consectetur aliqua amet exercitation officia. Esse do mollit adipisicing dolor id ullamco. Laboris incididunt ut non esse laborum ut laborum exercitation nostrud. Do elit in et amet labore exercitation ipsum ipsum fugiat officia non esse aliquip. Esse commodo Lorem ea incididunt quis laborum enim ut. Veniam nisi eu magna labore Lorem ullamco reprehenderit est.
Related courses (592)
CS-214: Software construction
Learn how to design and implement reliable, maintainable, and efficient software using a mix of programming skills (declarative style, higher-order functions, inductive types, parallelism) and
fundam
CS-320: Computer language processing
We teach the fundamental aspects of analyzing and interpreting computer languages, including the techniques to build compilers. You will build a working compiler from an elegant functional language in
CS-101: Advanced information, computation, communication I
Discrete mathematics is a discipline with applications to almost all areas of study. It provides a set of indispensable tools to computer science in particular. This course reviews (familiar) topics a
CS-550: Formal verification
We introduce formal verification as an approach for developing highly reliable systems. Formal verification finds proofs that computer systems work under all relevant scenarios. We will learn how to u
ME-213: Programmation pour ingénieur
Mettre en pratique les bases de la programmation vues au semestre précédent. Développer un logiciel structuré. Méthode de debug d'un logiciel. Introduction à la programmation scientifique. Introductio
Related MOOCs (29)
Parallelism and Concurrency
(merge of parprog1, scala-reactive, scala-spark-big-data)
Functional Programming
In this course you will discover the elements of the functional programming style and learn how to apply them usefully in your daily programming tasks. You will also develop a solid foundation for rea
Functional Programming Principles in Scala [retired]
This advanced undergraduate programming course covers the principles of functional programming using Scala, including the use of functions as values, recursion, immutability, pattern matching, higher-