Structure and Properties of Traces for Functional Programs
- 作者Olaf Chitil; Yong Luo
- 卷第176卷
- 期第1期
- 印刷ISSN1571-0661
- 文件大小409.84KB
- 发表时间2007
- DOI10.1016/j.entcs.2006.10.032
- 页码39-63
同作者推荐
[ACM Press the 44th annual conference - San Diego, California (2007.06.04-2007.06.08)] Proceedings of the 44th annual conference on Design automation - DAC '07 - Simulating improbable eventsYang, Suwen; Greenstreet, Mark R. · 2007
[IEEE 2011 17th IEEE International Symposium on Asynchronous Circuits and Systems (ASYNC) - Ithaca, NY, USA (2011.04.27-2011.04.29)] 2011 17th IEEE International Symposium on Asynchronous Circuits and Systems - Synchronizer Performance in Deep Sub-Micron TechnologyYang, Suwen; Jones, Ian W.; Greenstreet, Mark R. · 2011