Equations as a Uniform Framework for Partial. Evaluation and Abstract Interpretation

ACM Computing Surveys

Volumn 30, Issue 3, 1998, Pages 1-8

  Field, J ^a   Heering, J ^b   Dinesh, T B ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b CWE   (United States)

Author keywords

context induction; dataflow analysis; equational enrichment; equational logic; imperative language; Languages; observable equivalence; partia evaluation; Performance; program transformation; structural induction; Theory Abstract interpretation

Indexed keywords

EID: 17244380078     PISSN: 03600300     EISSN: 15577341     Source Type: Journal    
DOI: 10.1145/289121.289123     Document Type: Article

References (18)

1. Bergstra, J. A., Dinesh, T. B., Field, J., and Heering, J. 1997. Toward a complete transformational toolkit for compilers. ACM Trans. Program. Lang. Syst. 19, 5 (September), 639-684.
2. Borovanskÿ, P., Kirchner, C., Kirchner, H., Moreau, P.-E., and Vittek, M. 1996. ELAN: A logical framework based on computational systems. In J. Meseguer Ed., Proceedings of the First International Workshop on Rewriting Logic, Volume 4 (Asilomar (California), September 1996). Electronic Notes in Theoretical Computer Science.
3. Cousot, P. and Cousot, R. 1992. Abstract interpretation and application to logic programs. J. Logic Program. 13, 103-179.
4. Dershowitz, N. and Jouannaud, J.-P. 1990. Rewrite systems. In J. VAN Leeuwen Ed., Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, pp. 243-320. Elsevier/The MIT Press.
5. Didrich, K., Fett, A., Gerke, C., Grieskamp, W., and Pepper, P. 1994. OPAL: Design and implementation of an algebraic programming language. In J. GuTKNECHT Ed., International Conference on Programming Languages and System Architectures, Volume 782 of Lecture Notes in Computer Science (1994), pp. 228-244. Springer-Verlag.
6. Dinesh, T. B. 1996. A kernel object-oriented language. In A. VAN Deursen, J. Heering, and P. KLINT Eds., Language Prototyping: An Algebraic Specification Approach, AMAST Series in Computing, Chapter 3, pp. 53-84. World Scientific.
7. Field, J. 1992. A simple rewriting semantics for realistic imperative programs and its application to program analysis. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (San Francisco, June 1992), pp. 98-107. Published as Yale University Technical Report YALEU/DCS/RR-909.
8. Field, J. and Tip, F. 1994. Dynamic dependence in term rewriting systems and its application to program slicing. In M. HERMENEGILDO and J. PENJAM Eds., Proceedings of the Sixth International Symposium on Programming Language Implementation and Logic Programming, Volume 844 (September 1994), pp. 415-431. Springer-Verlag.
9. Hartel, P. H. et al. 1996. Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark. J. Fund. Program. 6, 621-655.
10. Heering, J. 1986. Partial evaluation and ω-completeness of algebraic specifications. Theoret. Comput. Sei. 43, 149-167.
11. Hennicker, R. 1991. Context induction: A proof principle for behavioural abstractions and algebraic implementations. Formal Aspeds of Computing 3, 326-345.
12. Hoare, C. A. R., Hayes, I. J., Jifeng, H., Morgan, C. C., Roscoe, A. W., Sanders, J. W., Sørensen, I. H., Spivey, J. M., and Sufrin, B. A. 1987. Laws of programming. Commun. ACM 30, 8 (August) p. 770.
13. Jones, N. D., Gomard, C. K., and Sestoft, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall.
14. Kennaway, J. R., Klop, J. W., Sleep, M. R., and de Vries, F. J. 1994. On the adequacy of graph rewriting for simulating term rewriting. ACM Trans. Program. Lang. Syst. 16, 3, 493-523.
15. Meseguer, J. and Goguen, J. A. 1985. Initiality, induction and computability. In M. Nivat and J. C. Reynolds Eds., Algebraic Methods in Semantics, pp. 459-541. Cambridge University Press.
16. Muchnick, S. S. and Jones, N. D. Eds. 1981. Program Flow Analysis: Theory and Applications. Prentice-Hall.
17. van den Brand, M. G. J. and Olivier, P. 1998. An ASF+SDF to C compiler. Technical report, CWI/University of Amsterdam. In preparation.
18. Wlrsing, M. 1990. Algebraic specification. In J. VAN LEEUWEN Ed., Handbook of Theoretical Computer Science, Vol. B, Formal Models and Semantics, pp. 675-788. Elsevier/The MIT Press.