Abstract Heresies
Unorthodox opinions on computer science and programming.
Friday, September 12, 2008
Correction
›
“Hamiltonian graphs cannot be expressed in existential monadic second order logic because palindromes are not a regular language.” Appar...
Did you know?
›
Hamiltonian graphs cannot be expressed in existential second order logic because palindromes are not a regular language. I have to say that...
Monday, September 8, 2008
›
In ‘Continuations from Generalized Stack inspection’, and in the Addendum, I showed how to abuse the exception handling mechanism to impleme...
Thursday, September 4, 2008
›
Now it starts getting interesting. I have a Scheme system that can interpret the MIT-Scheme S-Code, but it doesn't use the underlying ...
1 comment:
Tuesday, September 2, 2008
S-code
›
MIT Scheme has an internal format for code called ‘S-Code’. This is a set of data structures that represent the abstract syntax tree of the...
Threaded interpreter
›
I mentioned earlier that I was playing around with my own version of MIT/GNU Scheme. Part of the reason was to understand why interpreters ...
1 comment:
Teaser
›
I've did some interesting things over the long weekend. It's going to take a few blog posts to explain them fully, but I think this...
‹
›
Home
View web version