Abstract Interpretation for Concurrent Logic Languages.

Christian Codognet Philippe Codognet Marc-Michel Corsini Abstract Interpretation for Concurrent Logic Languages. 215-232 1990 NACLP db/conf/slp/slp90.html#CodognetCC90