×

Found 6 Documents (Results 1–6)

100
MathJax

Building complete abstract interpretations in a linear logic-based setting. (English) Zbl 0912.03016

Levi, Giorgio (ed.), Static analysis. 5th international symposium, SAS ’98, Pisa, Italy, September 14–16, 1998. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1503, 215-229 (1998).
PDF BibTeX XML Cite

Filter Results by …

Document Type

all top 5

Year of Publication

Classification