Article

Free access

Semantics of barriers in a non-strict, implicitly-parallel language

Authors:

Shail Aditya,

Joseph E. Stoy,

ArvindAuthors Info & Claims

FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture

Pages 204 - 215

https://doi.org/10.1145/224164.224206

Published: 01 October 1995 Publication History

PDF eReader

References

[1]

Zena M. Ariola and Arvind. P-TAC: A Parallel Intermediate Language. In Proc. Functional Programming Languages and Computer Architecture, September 1989.

Digital Library

Google Scholar

[2]

Zena M. Ariola and Arvind. A Syntactic Approach to Program Transformations. In Proc. Partial Evaluation and Semantics-Based Program Manipulation, pages 116-129. ACM Press, September 1991.

Digital Library

Google Scholar

[3]

Zena M. Ariola and Arvind. Properties of a First-order Functional Language with Sharing. CSG Memo 347- 1, Laboratory for Computer Science, MIT, Cambridge, MA 02139, June 1994. To appear in Theoretical Computer Science, September 1995.

Digital Library

Google Scholar

[4]

Arvind, Rishiyur S. Nikhil, and Keshav K. Pingali. I-Structures: Data Structures for Parallel Computing. A UM Transactwns on Programming Languages and Systems, 11(4):598-632, 1989.

Digital Library

Google Scholar

[5]

Paul S. Barth. Atomic Data Structures for Parallel Computing. PhD thesis, Laboratory for Computer Science, MIT, Cambridge, MA 02139, March 1992. Available as Technical Report MIT/LCS/TR-532.

Digital Library

Google Scholar

[6]

Paul S. Barth, Rishiyur S. Nikhil, and Arvind. M- Structures: Extending a Parallel, Non-Strict, Functional Language with State. In Proc. Functional Programming Languages and Computer Architecture, pages 538-568. Springer-Verlag, 1991. LNCS 523.

Crossref

Google Scholar

[7]

C.A.R. Hoare. Communicating Sequentzal Processes. Prentice Hall International Series in Computer Science. Prentice Hall, Englewood Cliffs, NJ, 1985.

Digital Library

Google Scholar

[8]

P. Hudak and P. Wadler (editors). Report on the programming language Haskell, a non-strict purely functional language (Version 1.0). Technical Report YALEU/DCS/RR777, Department of Computer Science, Yale University, April 1990.

Google Scholar

[9]

Paul Hudak. Mutable Abstract Datatypes-or- How to Have Your State and Munge It Too. Research Report YALEU/DCS/RR-914, Department of Computer Science, Yale University, New Haven, CT 06520, December 1992. Revised May 1993.

Google Scholar

[10]

Thomas Johnsson. Lambda Lifting: Transforming Programs to Recursive Equations. In Proc. Functzonal Programming Languages and Computer Archztectur% pages 190-203. Springer-Verlag, 1985. LNCS 201.

Crossref

Google Scholar

[11]

John Launchbury and Simon L. Peyton jones. Lazy Functional State Threads. In Proc. Programming Language Design and Implementation, pages 24-35. ACM Press, June 1994.

Digital Library

Google Scholar

[12]

Rishiyur S. Nikhil. Id Language Reference Manual Version 90.1. Technical Report CSG Memo 284-2, Laboratory for Computer Science, MIT, Cambridge, MA 02139, July 15 1991.

Google Scholar

[13]

Rishiyur S. Nikhil, Arvind, James Hicks, Shaft Aditya, Lennart Augustsson, Jan-Willem Maessen, and Yuli Zhou. pH Language Reference Manual, Version 1.0- preliminary. CSG Memo 369, Laboratory for Computer Science, MIT, Cambridge, MA 02139, January 1995.

Google Scholar

[14]

Simon L. Peyton Jones and Philip Wadler. Imperative Functional Programming. In Proc. Principles of Programmzng Languages, pages 71-84. ACM Press, January 1993.

Digital Library

Google Scholar

[15]

J.E. Stoy. The Semantics of Id. In A.W. Roscoe, editor, A Classical Mind: Essays in Honour of C.A.R. Hoare, pages 379-404. Prentice Hall, New York, 1994.

Crossref

Google Scholar

[16]

Thorsten von Eicken, David Culler, and Klaus Erik Schauser. Berkeley Id90 i/O proposal. Draft Memo, University of California, Berkeley, August 1991.

Google Scholar

Cited By

View all

Cogumbreiro TMartins FThudichum Vasconcelos V(2013)Coordinating Phased Activities while Maintaining ProgressCoordination Models and Languages10.1007/978-3-642-38493-6_3(31-44)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38493-6_3
Arvind Caro AMaessen JAditya S(2005)A multithreaded substrate and compilation model for the implicitly parallel language pHLanguages and Compilers for Parallel Computing10.1007/BFb0017273(519-533)Online publication date: 10-Jun-2005
https://doi.org/10.1007/BFb0017273
Maessen JChakravarty M(2002)Eager HaskellProceedings of the 2002 ACM SIGPLAN workshop on Haskell10.1145/581690.581694(38-50)Online publication date: 3-Oct-2002
https://dl.acm.org/doi/10.1145/581690.581694
Show More Cited By

Index Terms

Semantics of barriers in a non-strict, implicitly-parallel language

Recommendations

Versatile language semantics with reflective embedding
OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications

Often, for one programming language, various implementations exist that have subtle but important variations in their syntax and semantics. While current technology provides good support for syntax variability in form of syntax extensions, there is only ...
Towards an Operational Semantics for a Parallel Non-Strict Functional Language
IFL '98: Selected Papers from the 10th International Workshop on 10th International Workshop

Parallel programs must describe both computation and coordination, i.e. what to compute and how to organise the computation. In functional languages equational reasoning is often used to reason about computation. In contrast, there have been many ...
Lenient evaluation is neither strict nor lazy

What is a non-strict functional language? Is a non-strict language necessarily lazy? What additional expressiveness brings non-strictness, with or without laziness? This paper tries to shed some light on these questions. First, in order to characterize ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

FPCA '95: Proceedings of the seventh international conference on Functional programming languages and computer architecture

October 1995

333 pages

ISBN:0897917197

DOI:10.1145/224164

Chairman:
John Williams
IBM Almaden Research Centre

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 October 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Conference

FPCA95

Sponsor:

SIGPLAN
IFIP WG 2.8
SIGARCH

FPCA95: Conference on Functional Programming Languages & Computer Architecture

June 26 - 28, 1995

California, La Jolla, USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
328
Total Downloads

Downloads (Last 12 months)69
Downloads (Last 6 weeks)11

Reflects downloads up to 03 Mar 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Cogumbreiro TMartins FThudichum Vasconcelos V(2013)Coordinating Phased Activities while Maintaining ProgressCoordination Models and Languages10.1007/978-3-642-38493-6_3(31-44)Online publication date: 2013
https://doi.org/10.1007/978-3-642-38493-6_3
Arvind Caro AMaessen JAditya S(2005)A multithreaded substrate and compilation model for the implicitly parallel language pHLanguages and Compilers for Parallel Computing10.1007/BFb0017273(519-533)Online publication date: 10-Jun-2005
https://doi.org/10.1007/BFb0017273
Maessen JChakravarty M(2002)Eager HaskellProceedings of the 2002 ACM SIGPLAN workshop on Haskell10.1145/581690.581694(38-50)Online publication date: 3-Oct-2002
https://dl.acm.org/doi/10.1145/581690.581694
Arvind Maessen JNikhil RStoy J(1998)λSElectronic Notes in Theoretical Computer Science10.1016/S1571-0661(04)00146-X16:3(265-290)Online publication date: 1998
https://doi.org/10.1016/S1571-0661(04)00146-X
Turbak F(1996)First-class synchronization barriersACM SIGPLAN Notices10.1145/232629.23264531:6(157-168)Online publication date: 15-Jun-1996
https://dl.acm.org/doi/10.1145/232629.232645
Turbak FHarper R(1996)First-class synchronization barriersProceedings of the first ACM SIGPLAN international conference on Functional programming10.1145/232627.232645(157-168)Online publication date: 15-Jun-1996
https://dl.acm.org/doi/10.1145/232627.232645

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.

Cited By

Index Terms

Recommendations

Versatile language semantics with reflective embedding

Towards an Operational Semantics for a Parallel Non-Strict Functional Language

Lenient evaluation is neither strict nor lazy