Cited By
View all- Hankin CNielson HPalsberg J(1997)Position statements on strategic directions for research on programming languagesACM SIGPLAN Notices10.1145/251595.25159932:1(59-65)Online publication date: 1-Jan-1997
Strategic directions in research on programming languages
Pages 644 - 652
References
[1]
AHO, A. V., SETHI, R., AND ULLMAN, J. D. 1986. Compilers: Principles, Techniques and Tools. Addison Wesley, Reading, MA.
[2]
BANK, g. 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 Programruing Languages. Prentice-Hall International, Englewood Cliffs, NJ.
Index Terms
- Strategic directions in research on programming languages
Recommendations
General-purpose multiparadigm programming languages: an enabling technology for constructing complex systems
ICECCS '95: Proceedings of the 1st International Conference on Engineering of Complex Computer SystemsMultiparadigm programming languages have been envisioned as a vehicle for constructing large and complex heterogeneous systems, such as a stock market exchange or a telecommunications network. General-purpose multiparadigm languages, as opposed to ...
Comments
Information & Contributors
Information
Published In
Dec. 1996
281 pages
ISSN:0360-0300
EISSN:1557-7341
DOI:10.1145/242223
- Editors:
- Peter Wegner,
- Jon Doyle
Copyright © 1996 ACM.
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 December 1996
Published in CSUR Volume 28, Issue 4
Check for updates
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 991Total Downloads
- Downloads (Last 12 months)25
- Downloads (Last 6 weeks)1
Reflects downloads up to 23 Dec 2024
Other Metrics
Citations
Cited By
View all- Hankin CNielson HPalsberg J(1997)Position statements on strategic directions for research on programming languagesACM SIGPLAN Notices10.1145/251595.25159932:1(59-65)Online publication date: 1-Jan-1997
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in