Monthly Archives: July 2012

The ultimate programming language?

In several earlier posts I was considering how the conventional notion of contextual equivalence, which relies relies on quantification over syntactic contexts, is sometimes not suitable and a more direct notion of equivalence should be used. This notion of equivalence, which I … Continue reading

Posted in system level semantics | Leave a comment

Two consequences of full abstraction

In a recent paper [pdf] with my student Zaid Al-Zobaidi we describe two enhancements to the GoI compiler. The first one is a tamper-proof mechanism which guarantees that no low-level attacks against the compiled code are possible. This is very nice … Continue reading

Posted in game semantics, Geometry of Synthesis, system level semantics | 1 Comment

Remember machine-independence?

An interesting quotation from Dijkstra, written in 1961: I would require of a programming language that it should facilitate the work of the programmer as much as possible, especially in the most difficult aspects of his task, such as creating … Continue reading

Posted in Geometry of Synthesis | Leave a comment