@dblp

Abstract Interpretation: Towards the Global Optimization of Prolog Programs.

, , , and . SLP, page 192-204. IEEE-CS, (1987)

Links and resources

Tags