Livejournal
Log in
Post
Friends
My journal
metageek
Programming language snark
metageek
Mar 11, 2010 19:25
Some languages have precise definitions, which let people (and compilers) reason about what a program means. These definitions are called formal semantics (
Read more...
)
humor
,
plt
,
geekery
Leave a comment
5
Up