Ellis Horwood Series in Computers and Their Applications

1 total work

Abstract Interpretation of Declarative Languages

by Samson Abramsky and Chris Hankin

Published 18 November 1987