Generalizing Def and Pos to Type Analysis
From MaRDI portal
Publication:4542943
DOI10.1093/logcom/12.3.497zbMath1012.68040MaRDI QIDQ4542943
Fausto Spoto, Patricia M. Hill
Publication date: 12 August 2002
Published in: Journal of Logic and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/logcom/12.3.497
68N17: Logic programming
Uses Software