Message analysis for concurrent languages

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2694, Issue , 2003, Pages 73-90

  Carlsson, Richard ^a   Sagonas, Konstantinos ^a   Wilhelmsson, Jesper ^a  

^a UPPSALA UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; DIGITAL STORAGE; MEMORY ARCHITECTURE; SEMANTICS;

CONCURRENT FUNCTIONAL LANGUAGES; CONCURRENT LANGUAGES; GLOBAL SYNCHRONIZATION; INDUSTRIAL STRENGTH; INTERPROCESS COMMUNICATION; LANGUAGE IMPLEMENTATIONS; PERFORMANCE CHARACTERISTICS; THREAD SPECIFIC DATA;

MESSAGE PASSING;

EID: 35248837872     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44898-5_5     Document Type: Article

References (20)

1. J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996.
2. G. Back, W. C. Hsieh, and J. Lepreau. Processes in KaffeOS: Isolation, resource management, and sharing in Java. In Proceedings of the 4th USENIX Symposium on Operating Systems Design and Implementation, Oct. 2000. http://www.cs.utah.edu/flux/papers/.
3. B. Blanchet. Escape analysis: Correctness proof, implementation and experimental results. In Conference Record of the 25th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL'98), pages 25-37. ACM Press, Jan. 1998.
4. B. Blanchet. Escape analysis for object oriented languages. Application to Java™. In Proceedings of the 14th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'99), pages 20-34. ACM Press, Nov. 1999.
5. J. Bogda and U. Hölzle. Removing unnecessary synchronization in Java. In Proceedings of the 14th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'99), Nov. 1999.
6. R. Carlsson. An introduction to Core Erlang. In Proceedings of the PLI'01 Erlang Workshop, Sept. 2001.
7. R. Carlsson, B. Gustavsson, E. Johansson, T. Lindgren, S.-O. Nyström, M. Pettersson, and R. Virding. Core Erlang 1.0 language specification. Technical Report 030, Information Technology Department, Uppsala University, Nov. 2000.
8. J.-D. Choi, M. Gupta, M. Serrano, V. C. Shreedhar, and S. Midkiff. Escape analysis for Java. In Proceedings of the 14th Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'99), pages 1-19. ACM Press, Nov. 1999.
9. A. Deutsch. On the complexity of escape analysis. In Conference Record of the 24th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 358-371, Jan. 1997.
10. D. Doligez and X. Leroy. A concurrent, generational garbage collector for a multithreaded implementation of ML. In Conference Record of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 113-123. ACM Press, Jan. 1993.
11. T. Domani, G. Goldshtein, E. Kolodner, E. Lewis, E. Petrank, and D. Sheinwald. Threadlocal heaps for Java. In Proceedings of ISMM'2002: ACM SIGPLAN International Symposium on Memory Management, pages 76-87. ACM Press, June 2002.
12. C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, June 1993.
13. E. Johansson, M. Pettersson, and K. Sagonas. HiPE: A High Performance Erlang system. In Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, pages 32-43. ACM Press, Sept. 2000.
14. E. Johansson, K. Sagonas, and J. Wilhelmsson. Heap architectures for concurrent languages using message passing. In Proceedings of ISMM 2002: ACM SIGPLAN International Symposium on Memory Management, pages 88-99. ACM Press, June 2002.
15. R. E. Jones and R. Lins. Garbage Collection: Algorithms for automatic memory management. John Wiley & Sons, 1996.
16. Y. G. Park and B. Goldberg. Escape analysis on lists. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 116-127. ACM Press, July 1992.
17. E. Ruf. Effective synchronization removal for Java. In Proceedings of the SIGPLAN Conference on Programming Language Design and Implementation, pages 208-218. ACM Press, June 2000.
18. O. Shivers. Control flow analysis in Scheme. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 164-174. ACM Press, June 1988.
19. B. Steensgaard. Thread-specific heaps for multi-threaded programs. In Proceedings of the ACM SIGPLAN International Symposium on Memory Management, pages 18-24. ACM Press, Oct. 2000.
20. M. Tofte and J.-P. Talpin. Region-based memory management. Information and Computation, 132(2):109-176, Feb. 1997.