Properties of Sequent-Calculus-Based Languages
Programmers don't just have to write programs, they are have to reason about them. Programming languages aren't just tools for instructing computers what to do, they are tools for reasoning. And, it isn't just programmers who reason about programs: compilers and other tools reason sim...
| Main Author: | |
|---|---|
| Other Authors: | |
| Language: | en_US |
| Published: |
University of Oregon
2018
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1794/23191 |