Monthly Archives: March 2012

The case for a system-level semantics

In an earlier post I was deploring the way research in programming language semantics fetishises syntax. Because adding to a language anything other than syntactic sugar changes contextual equivalence in the language, the semantic model induced by syntactic context is (sometimes … Continue reading

Posted in system level semantics | 4 Comments

Talk at “Compiling Complete Programs into Circuits” 2012

I gave a contributed talk on GOS/Verity at the CCPC workshop, part of the ASPLOS conference. The focus of the talk was on the fact that using a semantic notion of function call it is possible to support separate compilation … Continue reading

Posted in Geometry of Synthesis | Leave a comment