Using CLP Simplifications to Improve Java Bytecode Termination Analysis
- 作者Fausto Spoto; Lunjin Lu; Fred Mesnard
- 卷第253卷
- 期第5期
- 印刷ISSN1571-0661
- 文件大小350.80KB
- 发表时间2009
- DOI10.1016/j.entcs.2009.11.019
- 页码129-144
同作者推荐
Probabilistic Barbed CongruenceYuxin Deng; Wenjie Du · 2007
On Mobility and CommunicationWenjie Du; Yuxin Deng · 2009
[IEEE 2011 IEEE International Conference on Computer Science and Automation Engineering (CSAE) - Shanghai, China (2011.06.10-2011.06.12)] 2011 IEEE International Conference on Computer Science and Automation Engineering - A quasi-local algorithm for checking bisimilarityDu, Wenjie; Deng, Yuxin · 2011
[IEEE 2009 Fourth International Conference on Frontier of Computer Science and Technology (FCST) - Shanghai, TBD, China (2009.12.17-2009.12.19)] 2009 Fourth International Conference on Frontier of Computer Science and Technology - A Local Algorithm for Checking Probabilistic BisimilarityDeng, Yuxin; Du, Wenjie · 2009