Denotational Abstract Interpretation of Functional Logic Programs

@inproceedings{Zartmann1997DenotationalAI,
  title={Denotational Abstract Interpretation of Functional Logic Programs},
  author={Frank Zartmann},
  booktitle={SAS},
  year={1997}
}
Highly Cited
This paper has 28 citations. REVIEW CITATIONS