Journal article

Precise goal-independent abstract interpretation of constraint logic programs

P Schachte

Theoretical Computer Science | ELSEVIER | Published : 2003

DOI: 10.1016/S0304-3975(02)00614-X

Citation metrics

1Web of Science
2Scopus
2Dimensions

Keywords

Algorithm
Technology
Computer Science
Computer Science, Theory & Methods
Science & Technology
Semantics