Christian Codognet, Philippe Codognet, Marc-Michel Corsini. Abstract Interpretation for Concurrent Logic Languages. In NACLP. pages 215-232, 1990.
@inproceedings{CodognetCC90:0, title = {Abstract Interpretation for Concurrent Logic Languages}, author = {Christian Codognet and Philippe Codognet and Marc-Michel Corsini}, year = {1990}, tags = {logic}, researchr = {https://researchr.org/publication/CodognetCC90%3A0}, cites = {0}, citedby = {0}, pages = {215-232}, booktitle = {NACLP}, }