Search the dblp DataBase

Publications of Author

1. 
   Preserving Sharing in the Partial Evaluation of Lazy Functional Programs. [Citation Graph (, )][DBLP]
   
   
2. 
   The MEB and CEB Static Analysis for CSP Specifications. [Citation Graph (, )][DBLP]
   
   
3. 
   A Transformational Approach to Polyvariant BTA of Higher-Order Functional Programs. [Citation Graph (, )][DBLP]
   
   
4. 
   A Tracking Semantics for CSP. [Citation Graph (, )][DBLP]
   
   
5. 
   SOC: a slicer for CSP specifications. [Citation Graph (, )][DBLP]
   
   
6. 
   An algorithm to generate the context-sensitive synchronized control flow graph. [Citation Graph (, )][DBLP]
   
   
7. 
   Fast and Accurate Strong Termination Analysis with an Application to Partial Evaluation. [Citation Graph (, )][DBLP]
   
   
8. 
   Improving Size-Change Analysis in Offline Partial Evaluation [Citation Graph (, )][DBLP]
   
   
9. 
   Dynamic Slicing Techniques for Petri Nets. [Citation Graph (, )][DBLP]