![](/img/cover-not-exists.png)
Natural semantics as a static program analysis framework
Glesner, Sabine, Zimmermann, WolfVolume:
26
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/982158.982161
Date:
May, 2004
File:
PDF, 635 KB
english, 2004