Strategic directions in research on programming languages

ACM Computing Surveys

Volumn 28, Issue 4, 1996, Pages 644-652

  Hankin, Chris ^a   Nielson, Hanne Riis ^b   Palsberg, Jens ^c  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

^b AARHUS UNIVERSITY   (Denmark)

^c PURDUE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0347738012     PISSN: 03600300     EISSN: None     Source Type: Journal    
DOI: 10.1145/242223.242260     Document Type: Article

References (17)

1. AHO, A. V., SETHI, R., AND ULLMAN, J. D. 1986. Compilers: Principles, Techniques and Tools. Addison Wesley, Reading, MA.
2. BANK, J. 1995. Java security, available via http://www-swiss.ai.mit.edu/jbank/javapaper/ java-paper.html.
3. BURSTALL, R. AND DARLINGTON, J. 1977. A transformation system for developing recursive programs. J. ACM 24, 1, 44-67.
4. CARDELLI, L. AND WEGNER, P. 1985. On understanding types, data abstraction and polymorphism. ACM Comput, Surv. 17, 4, 471-522.
5. CARRIERO, N. AND GELERNTER, D. 1992. Coordination languages and their significance. Commun. ACM 35, 2, 97-107.
6. CIANCARINI, P. AND HANKIN C. (EDS.) 1996. Coordination Languages and Models. LNCS 1061, Springer Verlag.
7. COHEN, J. 1981. Garbage collection of linked data structures. ACM Comput. Surv. 13, 3, 341-367.
8. COUSOT, P. AND COUSOT, R. 1977. Abstract interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints. Proceedings of the Fourth ACM Symposium on Principles of Programming Languages (POPL), ACM Press, New York 238-252.
9. GUNTER, C. AND MITCHELL, J. 1994. Theoretical Aspects of Object-Oriented Programming. MIT Press, Cambridge, MA.
10. HANKIN, C. AND NIELSON, H. R. (EDS.) 1996. Symposium on models of programming languages and computation. ACM Comput. Surv. 28, 2, 293-359.
11. HANUS, M. 1994. The integration of functions into logic programming: From theory to practice, J. Logic Program. 19, 20, 583-628.
12. HOARE, C. A. R. 1974. Monitors: An operating system structuring concept. Commun. ACM 17, 10, 549-557.
13. JONES, N. D., GOMARD, C. K., AND SESTOFT, P. 1993. Partial Evaluation and Automatic Program Generation. Prentice-Hall, Englewood Cliffs, NJ.
14. JONES, N. D. AND NIELSON, F. 1995. Abstract interpretation: A semantic-based tool for program analysis. In Handbook of Logic in Computer Science, Vol. 4, S. Abramsky, D. Gabbay, and T. Maibaum, Eds. Clarendon Press, New York.
15. MILNER, R., TOFTE, M., AND HARPER, R. 1990. The Definition of Standard ML. MIT Press, Cambridge, MA.
16. NIELSON, F. AND NIELSON, H. R. 1992. Semantics with Applications, a Formal Introduction. Wiley, New York.
17. TENNENT, R. D. 1991. Semantics of Programming Languages. Prentice-Hall International, Englewood Cliffs, NJ.