Skip to main content
SpringerLink
Log in

Programming with Explicit Regions

  • Conference paper
  • First Online:
Advances in Computing Science — ASIAN’99 (ASIAN 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1742))

Included in the following conference series:

  • 229 Accesses

Abstract

Most functional languages such as ML and Haskell, and many object-oriented languages such as Smalltalk and Java use garbage collection to reclaim mem- ories automatically. Since programmers are freed from worry about memory management, they can enjoy more safety and productivity than in conventional languages such as C. On the other hand, garbage collection causes several diffi- culties in real-time systems and very small systems, since it is difficult for us to predict execution time of particular parts of programs and since garbage collec- tion requires certain amount of memories in order to be performed efficiently.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Mads Tofte and Jean-Pierre Talpin. Implementation of Typed Call-by-Value _-calculus using a Stack of Regions. In 21st ACM Symposium on Principles of Programming Languages, pages 188–201, January 1994.

    Google Scholar 

  2. John Launchbury and Simon L. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4):293–341, 1995

    Article  Google Scholar 

  3. Koji Kagawa. Compositional References for Stateful Functional Programming. Proc. of the International Conference on Functional Programming 1997. June 1997.

    Google Scholar 

  4. Mads Tofte and Lars Birkedal. A Region Inference Algorithm. ACM Transactions on Programming Languages and Systems, 20(5):724–767, July 1998.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. R.I.S.E, Kagawa University, 1-1 Saiwai-cho, Takamatsu, 760-8526, Japan

    Koji Kagawa

Authors
  1. Koji Kagawa
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Chennai Mathematical Institute, 92 G.N. Chetty Road, T. Nagar, Chennai, 600 017, India

    P. S. Thiagarajan

  2. School of Computing, National University of Singapore, Lower Kent Ridge Road, Singapore, 119260

    Roland Yap

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Kagawa, K. (1999). Programming with Explicit Regions. In: Thiagarajan, P.S., Yap, R. (eds) Advances in Computing Science — ASIAN’99. ASIAN 1999. Lecture Notes in Computer Science, vol 1742. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-46674-6_34

Download citation

  • DOI: https://doi.org/10.1007/3-540-46674-6_34

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-66856-5

  • Online ISBN: 978-3-540-46674-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation