共 50 条
- [2] Resource usage analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2005, 27 (02): : 264 - 313
- [4] Resource usage analysis for the π-calculus VERIFICATION, MODEL CHECKING , AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2006, 3855 : 298 - 312
- [6] Incremental resource usage analysis Conference Record of the Annual ACM Symposium on Principles of Programming Languages, 2012, : 25 - 34
- [8] An empirical analysis of payment card usage JOURNAL OF INDUSTRIAL ECONOMICS, 2007, 55 (01): : 1 - 36
- [10] Local Policies for Resource Usage Analysis ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2009, 31 (06):