FORMAL METHOD IN IMPLEMENTATION OF ATLAS LANGUAGE*
Author:
De-Gui Guo,Lei Liu
Publisher
Springer Netherlands
Reference9 articles.
1. R. Paige (1997), Future directions in program transformations. ACM SIGPLAN Not, 32, 1, pp. 94–97.
2. D. Sands (1996), Proving the correctness of recursion-based automatic program transformations. Theoretical Computer Science, 167, 1–2, pp. 193–233.
3. L. de Alfaro and Z. Manna (1996), Temporal verification by diagram transformations. CAV’96, LNCS 1102, pp. 288–299, Springer.
4. G. Jin, Z. Li and F. Chen (2001), A theoretical foundation for program transformations to reduce cache thrashing due to true data sharing. Theoretical Computer Science, 255, 1–2, pp. 449–481.
5. P. Wadler (1990), Deforestation: Transforming programs to eliminate trees. Theoretical Computer Science, 73, 2, pp. 231–248.