Open jff opened 5 years ago
Course code, if applicable: University hosting the course: Instituto Superior Técnico (University of Lisbon) Contact person: João F. Ferreira, joao@joaoff.com Concepts taught: Denotational Semantics, Operational Semantics, Axiomatic Semantics, Hoare Logic, Separation Logic, Interactive Theorem Proving, Functional Programming Tools used: Coq, Haskell Webpage: https://fenix.tecnico.ulisboa.pt/disciplinas/LPro26/2018-2019/2-semestre Year/Level: MSc
Course code, if applicable: University hosting the course: Instituto Superior Técnico (University of Lisbon) Contact person: João F. Ferreira, joao@joaoff.com Concepts taught: Denotational Semantics, Operational Semantics, Axiomatic Semantics, Hoare Logic, Separation Logic, Interactive Theorem Proving, Functional Programming Tools used: Coq, Haskell Webpage: https://fenix.tecnico.ulisboa.pt/disciplinas/LPro26/2018-2019/2-semestre Year/Level: MSc