1,053 karma · joined July 31, 2020
Concrete?
• The book shows that a semantics is not a collection of abstract symbols on sheets of paper but formal text that can be checked and executed by the computer: Isabelle is also a programming environment and most of the definitions in the book are executable and can even be exported as programs in a number of (functional) programming languages. For a computer scientist, this is as concrete as it gets.
• Much of the book deals with concrete applications of semantics: compilers, type systems, program analysers.
• The predominant formalism in the book is operational semantics, the most concrete of the various forms of semantics.
• Foundations are made of concrete.
[1] http://www.damtp.cam.ac.uk/user/tong/dynamics.html [2] http://www.lightandmatter.com
I found the article while browsing Dr. David R. Wilkins' lecture notes [0], I recommend them if you are looking for some good math notes.
In the case of Distributed Proofreaders you could automate the process even by creating a diff of your results with the current draft of the Works being worked on.
This is just a crazy idea nobody take it too seriously. [0]https://www.pgdp.net/c/
I don't use it for comparing between languages much because I'm bilingual and my native tongue Wikipedia is not that big, but sometimes is really interesting to see the different perspectives.