4 ms·
Neat! See also: "Formal Methods: A First Introduction using Prolog to specify Programming Language Semantics" https://homepage.cs.uri.edu/faculty/hamel/pubs/fc
by carapace 4y ago
Neat! See also: "Formal Methods: A First Introduction using Prolog to specify Programming Language Semantics" https://homepage.cs.uri.edu/faculty/hamel/pubs/fcs16.pdf https://homepage.cs.uri.edu/faculty/hamel/pubs/fcs16.pdf