Understanding the POSIX Shell as a Programming Language
We build intricate systems with complex algorithms and invariants, aiming for guarantees of correctness and performance… and then we maintain and deploy these systems with shell scripts! What are shell scripts? If the POSIX shell is a programming language, what are its syntax and semantics? Can we apply PL tools to reason about the shell?
In my talk, I will explain why the shell is a good object of study and present my early progress building models to reason about the shell.
Sat 21 Jan
|10:30 - 10:55|
|10:55 - 11:20|
Ugo Dal LagoUniversity of Bologna, FranceFile Attached
|11:20 - 11:45|
|11:45 - 12:10|
Michael GreenbergPomona CollegeFile Attached