article

Free access

Globalization and live variables

Authors:

Carsten K. Gomard,

Peter SestoftAuthors Info & Claims

ACM SIGPLAN Notices, Volume 26, Issue 9

Pages 166 - 177

https://doi.org/10.1145/115866.115882

Published: 01 May 1991 Publication History

PDF eReader

References

[1]

Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques, and Tools. Addison-Wesley, 1986.

Digital Library

Google Scholar

[2]

Adrienne Bloss. Path Analysis and the Optimization o.f Non-Strict Functional Languages. P hD thesis, Computer Science Department, Yale University, New Haven, Connecticut, USA, May 1989. Also: Research Report YALEU/DCS/RR-704. 129 pages.

Digital Library

Google Scholar

[3]

A. BondorL Automatic Autoprojection of Higher Order Recursive Equations. In Neil D. Jones, editor, ESOP '90. 3rd European Symposium on Programming, Copenhagen, Denmark, May 1990. (Lecture Notes in Computer Science, vol. .~32), pp. 70- 87. Springer-Veriag, May 1990.

Digital Library

Google Scholar

[4]

Thomas Johnsson. Lambda Lifting: Transforming Programs to Recursive Equations. In J.- P. Jouann;tud, editor, Functional Programming Languages and Computer Architecture, Nancy, France. (Lecture Notes in Computer Science, vol. 201), pp. 190-203. Springer-Verlag, 1985.

Digital Library

Google Scholar

[5]

P.J. Landin. The Mechanical Evaluation of Expressions. Computer Journal, Vol. 6, No. 4, pp. 308-320, January 1964.

Crossref

Google Scholar

[6]

David A. Schmidt. Detecting Global Variables in Denotational Specifications. ACM Transactions on Programming Languages and Systems, Vol. 5, No. 2, pp. 299-310, April 1985.

Digital Library

Google Scholar

[7]

Peter Sestoft. Replacing Function Parameters by Global Variables. M~ster's thesis, DIKU, University of Copenhagen, Denmark, October 1988.

Google Scholar

Cited By

View all

Thiemann PSchmidt D(1993)A safety analysis for functional languagesProceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/154630.154644(133-144)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/154630.154644
Fradet P(2005)Syntactic detection of single-threading using continuationsFunctional Programming Languages and Computer Architecture10.1007/3540543961_12(241-258)Online publication date: 6-Jul-2005
https://doi.org/10.1007/3540543961_12
Thiemann P(2005)Avoiding repeated tests in pattern matchingStatic Analysis10.1007/3-540-57264-3_36(141-152)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-57264-3_36
Show More Cited By

Index Terms

Globalization and live variables
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Interpreters
    2. General programming languages
      1. Language features
        Data types and structures
        Procedures, functions and subroutines
      2. Language types
2. Theory of computation
  1. Semantics and reasoning
    1. Program constructs
      1. Functional constructs
    2. Program semantics
      1. Operational semantics

Recommendations

Globalization, culture, and information: Towards global knowledge transparency

In this paper, I seek to intertwine the IS research on globalization with IS research on culture. I first discuss various perspectives of globalization - cultural imperialism, interconnected businesses, and a global village - and the accompanying role ...
Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization
Frontiers in Software Engineering Education
Abstract
The “idea of a university” has been a subject of contested discussions for over a century. There is a significant number of different views on what it means to be a university of the twenty-first century as well as on its purpose and primary ...
Globalisation vs. localisation in e-commerce: cultural-aware interaction design
AVI '06: Proceedings of the working conference on Advanced visual interfaces

Online shopping is the product of consumer assessment of the technological medium and the e-vendor. Previous research has evinced a number of interface features which are believed to be associated with trust building in e-commerce. In this paper we ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 26, Issue 9

Sept. 1991

333 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/115866

Editor:
Richard L. Wexelblat
IDA/CSED, Alexandria, VA

Issue’s Table of Contents

PEPM '91: Proceedings of the 1991 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
May 1991
333 pages
ISBN:0897914333
DOI:10.1145/115865
Chairmen:
Charles Consel,
Olivier Danvy

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 May 1991

Published in SIGPLAN Volume 26, Issue 9

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

12
Total Citations
View Citations
524
Total Downloads

Downloads (Last 12 months)76
Downloads (Last 6 weeks)14

Reflects downloads up to 24 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Thiemann PSchmidt D(1993)A safety analysis for functional languagesProceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation10.1145/154630.154644(133-144)Online publication date: 1-Aug-1993
https://dl.acm.org/doi/10.1145/154630.154644
Fradet P(2005)Syntactic detection of single-threading using continuationsFunctional Programming Languages and Computer Architecture10.1007/3540543961_12(241-258)Online publication date: 6-Jul-2005
https://doi.org/10.1007/3540543961_12
Thiemann P(2005)Avoiding repeated tests in pattern matchingStatic Analysis10.1007/3-540-57264-3_36(141-152)Online publication date: 31-May-2005
https://doi.org/10.1007/3-540-57264-3_36
Hannan JHicks PMacQueen DCardelli L(1998)Higher-order unCurryingProceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/268946.268947(1-11)Online publication date: 21-Jan-1998
https://dl.acm.org/doi/10.1145/268946.268947
Sastry AClinger W(1994)Parallel destructive updating in strict functional languagesACM SIGPLAN Lisp Pointers10.1145/182590.182486VII:3(263-272)Online publication date: 1-Jul-1994
https://dl.acm.org/doi/10.1145/182590.182486
Shao ZAppel A(1994)Space-efficient closure representationsACM SIGPLAN Lisp Pointers10.1145/182590.156783VII:3(150-161)Online publication date: 1-Jul-1994
https://dl.acm.org/doi/10.1145/182590.156783
Sastry AClinger WKessler R(1994)Parallel destructive updating in strict functional languagesProceedings of the 1994 ACM conference on LISP and functional programming10.1145/182409.182486(263-272)Online publication date: 1-Jul-1994
https://dl.acm.org/doi/10.1145/182409.182486
Shao ZAppel AKessler R(1994)Space-efficient closure representationsProceedings of the 1994 ACM conference on LISP and functional programming10.1145/182409.156783(150-161)Online publication date: 1-Jul-1994
https://dl.acm.org/doi/10.1145/182409.156783
Sastry AClinger WAriola ZWilliams J(1993)Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregatesProceedings of the conference on Functional programming languages and computer architecture10.1145/165180.165222(266-275)Online publication date: 1-Jul-1993
https://dl.acm.org/doi/10.1145/165180.165222
Neuberger MMishra P(1992)A precise relationship between the deductive power of forward and backward strictness analysisACM SIGPLAN Lisp Pointers10.1145/141478.141526V:1(127-138)Online publication date: 1-Jan-1992
https://dl.acm.org/doi/10.1145/141478.141526
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

References

Cited By

Index Terms

Recommendations

Globalization, culture, and information: Towards global knowledge transparency

Finding the Right Understanding: Twenty-First Century University, Globalization and Internationalization

Globalisation vs. localisation in e-commerce: cultural-aware interaction design

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations