Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Appel, A.W.: Axiomatic bootstrapping, a guide for compiler hackers. ACM TOPLAS 16(6), 1699–1719 (1994)
2. Bergstra, J.A., Loots, M.E.: Program algebra for sequential code. Journal of Logic and Algebraic Programming 51(2), 125–156 (2002)
3. Bergstra, J.A., van Vlijmen, S.F.M.: Theoretische Software-Engineering. In: Dutch, ZENOInstitute, Leiden, Utrecht, The Netherlands (1998)
4. Hoare, C.A.: The verifying compiler, a grand challenge for computer research. JACM 50(1), 63–69 (2003)
5. Bratman, H.: An alternate form of the UNCOL diagram. CACM 4(3), 142 (1961)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献