Author:
Zhu Huibiao,Yang Fan,He Jifeng,Bowen Jonathan P.,Sanders Jeff W.,Qin Shengchao
Subject
Computational Theory and Mathematics,Logic,Theoretical Computer Science,Software
Reference53 articles.
1. Ten years of Hoare’s logic: a survey — part 1;Apt;ACM Trans. Programming Lang. Syst.,1981
2. Ten years of Hoare’s logic: a survey part II: nondeterminism;Apt;Theoret. Comput. Sci.,1984
3. J.P. Bowen, J. He, Q. Xu, An animatable operational semantics of the Verilog Hardware Description Language, in: Proc.ICFEM 2000: 3rd IEEE International Conference on Formal Engineering Methods, IEEE Computer Society Press, 2000, pp. 199–207.
4. A grainless semantics for parallel programs with shared mutable data;Brookes;Electron. Notes Theor. Comput. Sci.,2006
5. Full abstraction for a shared-variable parallel language;Brookes;Inform. and Comput.,1996
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献