Type-based analysis and applications
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Functional Elimination of Φ-instructions
Electronic Notes in Theoretical Computer Science (ENTCS)
Hi-index | 0.00 |