Factor: a practical stack language: Formal semantics for the Cat programming language

skip to main | skip to sidebar

Wednesday, January 31, 2007

Formal semantics for the Cat programming language

Christopher Diggins has written a paper defining formal semantics for the Cat programming language. I've mentioned Cat here several times; it is currently at version 0.9.9.

at 1:12 AM

Email This BlogThis! Share to X Share to Facebook Share to Pinterest

No comments:

Subscribe to: Post Comments (Atom)