Natural semantics as a static program analysis framework

Full Text:

PDF

Buy this Article

Authors:	Sabine Glesner	Universität Karlsruhe, Karlsruhe, Germany
	Wolf Zimmermann	Martin-Luther-Universität Halle-Wittenberg, Halle/Saale, Germany

Published in:

· Journal

ACM Transactions on Programming Languages and Systems (TOPLAS) TOPLAS Homepage archive

Volume 26 Issue 3, May 2004
Pages 510-577
ACM New York, NY, USA
table of contents doi>10.1145/982158.982161

	2004 Article
Bibliometrics
· Downloads (6 Weeks): 3 · Downloads (12 Months): 35 · Downloads (cumulative): 1,203 · Citation Count: 1

Tools and Resources

Tags: compiler generators constraint solving constraints fixed-point program analyses graph and tree search strategies languages natural semantics program analysis semantic analysis semantics specification techniques static program analysis syntax translator writing systems and compiler generators