fme-teaching / fm-courses

List of Formal Methods Courses
3 stars 0 forks source link

Understanding Programming Languages #71

Open luigiapetre opened 3 years ago

luigiapetre commented 3 years ago

Course code, if applicable: University hosting the course: Newcastle University Contact person: Cliff Jones, cliff.jones@newcastle.ac.uk Concepts taught: Programming Languages, Axiomatic Semantics , Constraints, Data Structures, Denotational Semantics, Operational Semantics Tools used: No Tools Webpage: https://www.dropbox.com/s/d02qswbq9hk5g7f/UPLs-slides.zip?dl=0 Year/Level: 1 Reviewed: 2021/06/21