Constructing functional programs for grammar analysis problems
FPCA '95 Proceedings of the seventh international conference on Functional programming languages and computer architecture
Toward an engineering discipline for grammarware
ACM Transactions on Software Engineering and Methodology (TOSEM)
Weighted pushdown systems and their application to interprocedural dataflow analysis
Science of Computer Programming - Special issue: Static analysis symposium (SAS 2003)
Challenges in the compilation of a domain specific language for dynamic programming
Proceedings of the 2006 ACM symposium on Applied computing
Weighted pushdown systems and their application to interprocedural dataflow analysis
SAS'03 Proceedings of the 10th international conference on Static analysis
An appreciation of the work of Reinhard Wilhelm
Program analysis and compilation, theory and practice
Grammar analysis and parsing by abstract interpretation
Program analysis and compilation, theory and practice
Grammar semantics, analysis and parsing by abstract interpretation
Theoretical Computer Science
Hi-index | 0.00 |