Archive

Posts Tagged ‘abstract interpretation’

The Galois connection between syntax and semantics

June 5th, 2010 06:14 View Comments