diff --git a/teaching/2024/cs522/01-Introduction.pdf b/teaching/2024/cs522/01-Introduction.pdf new file mode 100644 index 0000000..8ef83c6 Binary files /dev/null and b/teaching/2024/cs522/01-Introduction.pdf differ diff --git a/teaching/2024/cs522/02-Conventional-Executable-Semantics.pdf b/teaching/2024/cs522/02-Conventional-Executable-Semantics.pdf new file mode 100644 index 0000000..9d4b90f Binary files /dev/null and b/teaching/2024/cs522/02-Conventional-Executable-Semantics.pdf differ diff --git a/teaching/2024/cs522/02-Conventional-Executable-Semantics.pptx b/teaching/2024/cs522/02-Conventional-Executable-Semantics.pptx new file mode 100644 index 0000000..a8cfabf --- /dev/null +++ b/teaching/2024/cs522/02-Conventional-Executable-Semantics.pptx @@ -0,0 +1,3948 @@ + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + fsl.cs.illinois.edu/teaching/2021/cs522/02-Conventional-Executable-Semantics.pptx at master · Formal-Systems-Laboratory/fsl.cs.illinois.edu + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + + +
+ + + +
+ Skip to content + + + + + + + + + + + + + + + + +
+ + + + + + + + + + + +
+ + +
+
+ + + + +
+ +
+
+
+

+ Global navigation +

+
+
+
+
+ +
+
+
+ +
+ + +
+ + + + +
+
+
+ + +

© 2024 GitHub, Inc.

+ +
+ About + Blog + Terms + Privacy + Security + + Status + +
+
+ + +
+ + + + + + +
+
+ + +
+ +
+
+
+

+ Navigate back to +

+
+
+ +
+
+
+ +
+ +
+ + +
+
+ +
+ +
+
+ +
+
+
+ + + + +
+ + + + +
+
+
+ + + + +
+ + + + + Command palette +
+
+ + + + +
+ +

Search code, repositories, users, issues, pull requests...

+
+ +
+
+ +
+
+
+ +
+ +
+ +
+
+
+

+ Provide feedback +

+
+
+ +
+
+
+ +
+

We read every piece of feedback, and take your input very seriously.

+ + + +
+ +
+ +
+
+ + + +
+ +
+
+
+

+ Saved searches +

+

Use saved searches to filter your results more quickly

+
+
+ +
+
+
+ +
+ + + +
+
+
+ +
+ +
+ +
+
+ +
+ + +
+ +
+ + + Create new... + + + +
+ +
+ +
+ +
 + + + + +Issues + + +Pull requests + +
+ + + + + + + Notifications + + + + +
+ + + + + +
+ +
+
+
+

+ Account menu +

+
+
+ + + grosu + + + + Grigore Rosu + +
+ + + Create new... + + + +
+ +
+ +
+ +
 + + +
+
+
+
+ +
+
+
+ +
+ + + +
+
+ + +
+ + + + + +
+ +
+ + + + + +
+
+
+ + +
+ +
+
+ + + + +
+ +
+ + + + + + + + +
+ + + + + + + +
+ + + + + + + + + + + +
+ + + + + + + + + + + + + + + + + +
+ +
+ + + + Formal-Systems-La...  /   + fsl.cs.illinois.edu  /   + +
+
+ + + +
+ + +
+
+ Clear Command Palette +
+ + + + +
+
+ Tip: + Type # to search pull requests +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type # to search issues +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type # to search discussions +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type ! to search projects +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type @ to search teams +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type @ to search people and organizations +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type > to activate command mode +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Go to your accessibility settings to change your keyboard shortcuts +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type author:@me to search your content +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:pr to filter to pull requests +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:issue to filter to issues +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:project to filter to projects +
+
+ Type ? for help and tips +
+
+ + +
+
+ Tip: + Type is:open to filter to open content +
+
+ Type ? for help and tips +
+
+ + +
+ +
+
+ We’ve encountered an error and some results aren't available at this time. Type a new search or try again later. +
+ + + No results matched your search + + + + + + + + + + + + + + + + Search for issues and pull requests + + # + + + + Search for issues, pull requests, discussions, and projects + + # + + + + Search for organizations, repositories, and users + + @ + + + + Search for projects + + ! + + + + Search for files + + / + + + + Activate command mode + + > + + + + Search your issues, pull requests, and discussions + + # author:@me + + + + Search your issues, pull requests, and discussions + + # author:@me + + + + Filter to pull requests + + # is:pr + + + + Filter to issues + + # is:issue + + + + Filter to discussions + + # is:discussion + + + + Filter to projects + + # is:project + + + + Filter to open issues, pull requests, and discussions + + # is:open + + + + + + + + + + + + + + + + + + +
+ +
+ + + + + + + + + + +
+ + +
+
+
+ + + + + + + + + + + + + + + + + + +
+ Open in github.dev + Open in a new github.dev tab + Open in codespace + + + + + + + + + + + + + + +

Files

t

02-Conventional-Executable-Semantics.pptx

02-Conventional-Executable-Semantics.pptx

Latest commit

 

History

History
3.76 MB

02-Conventional-Executable-Semantics.pptx

File metadata and controls

3.76 MB
Raw
View raw

(Sorry about that, but we can’t show files that are this big right now.)

+ + + + + +
+ + + +
+
+ +
+ + + + + + + + + + + + + + + + + + + + + + +
+ +
+
+ + +