Live memory analysis for garbage collection in embedded systems

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 34, Issue 7, 1999, Pages 45-54

  Persson, Patrik ^a  

^a LUND UNIVERSITY   (Sweden)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002593438     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/315253.314440     Document Type: Article

References (24)

1. P. Altenbernd. On the False Path Problem in Hard Real-Time Programs. Proceedings of the 8th Euromicro Workshop on Real-Time Systems, 1996.
2. E. Bjarnason. Interactive Tool Support for Domain-Specific Languages. Licentiate Thesis, Department of Computer Science, Lund University, December 1997.
3. E. Bjarnason, G. Hedin, and K. Nilsson. Interactive Language Development for Embedded Systems. To appear in Nordic Journal of Computing.
4. R. A. Brooks. Trading Data Space for Reduced Time and Code Space in Real-Time Garbage Collection on Stock Hardware. In Proceedings of the 1984 Symposium on Lisp and Functional Programming, Austin, Texas, August 1984.
5. A. Ermedahl and J. Gustafsson. Deriving Annotations for Tight Calculations of Execution Time. Proceedings of EuroPar '97, LNCS 1300, Springer, August 1997.
6. W. Foote. Real-Time Extensions to the Java™ Platform - A Progress Report. In Proceedings of the RTSS '98 Work-in-Progress Session, Madrid, Spain, December 1998.
7. J. Gosling, B. Joy, and G. Steele. The Java Language Language Specification. Addison-Wesley, 1996.
8. G. Hedin. Reference Attributed Grammars. In D. Parigot and M. Mernik (editors): Proceedings of WAGA '99, Second Workshop on Attribute Grammars and their Applications, pages 153-172. Amsterdam, The Netherlands, March 1999. INRIA Rocquencourt.
9. L. J. Hendren, J. Hummel, and A. Nicolau. Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs. Proceedings of the ACM SIGPLAN '92 Conference on Programming Language Design and Implementation, June 1992.
10. R. Henriksson. Scheduling Garbage Collection in Embedded Systems. Ph. D. Thesis, Department of Computer Science, Lund University, September 1998. http://www.cs.lth.se/~roger/thesis.html
11. N. D. Jones and S. S. Muchnick. A Flexible Approach to Interprocedural Data Flow Analysis and Programs with Recursive Data Structures. Conference Record of the Ninth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1982.
12. S.-S. Lim, Y. H. Bae, G. T. Jang, B.-D. Rhee, S. L. Min, C. Y. Park, H. Shin, K. Park, and C. S. Kim. An Accurate Worst Case Timing Analysis Technique for RISC Processors. Proceedings of the IEEE Real-Time Systems Symposium, December 1996.
13. J. R. Larus and P. N. Hilfinger. Detecting Conflicts Between Structure Accesses. Proceedings of the ACM SIGPLAN '88 Conference on Programming Language Design and Implementation, June 1988.
14. W. Landi and B. G. Ryder. Pointer-induced Aliasing: A Problem Taxonomy. Proceedings of the Eighteenth Annual ACM Symposium on Principles of Programming Languages, 1991.
15. T. Lundqvist and P. Stenström. Integrating Path and Timing Analysis using Instruction-Level Simulation Techniques. In LCTES '98: Proceedings of ACM SIGPLAN Workshop on Languages, Compilers, and Tools for Embedded Systems, Montreal, Canada, June 1998.
16. B. Meyer. Applying "Design by Contract". IEEE Computer, 1992.
17. K. Nilsen. Reliable Real-Time Garbage Collection of C++. Computing Systems, 1994.
18. P. Persson and G. Hedin. Interactive Execution Time Predictions using Reference Attributed Grammars. In D. Parigot and M. Mernik (editors): Proceedings of WAGA '99, Second Workshop on Attribute Grammars and their Applications, pages 173-184. Amsterdam, The Netherlands, March 1999. INRIA Rocquencourt.
19. Real-Time Java™ Working Group. http://www.neurmonics.com/webroot/rtjwg.html
20. A. C. Shaw. Reasoning about Time in Higher-Level Language Software. IEEE Transactions on Software Engineering, Vol. 15, No. 7, 1989.
21. M. Shapiro and S. Horwitz. Fast and Accurate Flow-Insensitive Points-To Analysis. In POPL '97: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 1-14. Paris, France, 1997.
22. V. Sundaresan, C. Razafimahefa, R. Vallée-Rai, and L. Hendren. Practical Virtual Method Call Resolution for Java. Sable Technical Report No. 1998-7, McGill University, Canada, 1998.
23. M. Sagiv, T. Reps, and R. Wilhelm. Solving Shape-Analysis Problems in Languages with Destructive Updating. Proceedings of the Twenty Third Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, January 1996.
24. R. T. White, F. Mueller, C. A. Healy, D. B. Whalley, and M. G. Harmon. Timing Analysis for Data Caches and Set-Associative Caches. Proceedings of the IEEE Real-Time Technology and Applications Symposium, June 1997.