Abstract interpretation of logic programs
Agostino Cortesi, Gilberto Filé · 1991
article Abstract interpretation of logic programs: an abstract domain for groundness, sharing, freeness and compoundness analysis Share on Authors: Agostino Cortesi Dept. of Mathematics, University of Padova, Via Belzoni 7, I-35131 Padova, Italy Dept. of Mathematics, University of Padova, Via Belzoni 7, I-35131 Padova, ItalyView Profile , Gilbert Filé Dept. of Mathematics, University of Padova, Via Belzoni 7, I-35131 Padova, Italy Dept. of Mathematics, University of Padova, Via Belzoni 7, I-35131 Padova, ItalyView Profile Authors Info & Claims ACM SIGPLAN NoticesVolume 26Issue 9Sept. 1991 pp 52–61https://doi.org/10.1145/115866.115872Published:01 May 1991 23citation291DownloadsMetricsTotal Citations23Total Downloads291Last 12 Months4Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access