article

Free access

CML: A higher concurrent language

Author:

John H. ReppyAuthors Info & Claims

ACM SIGPLAN Notices, Volume 26, Issue 6

Pages 293 - 305

https://doi.org/10.1145/113446.113470

Published: 01 May 1991 Publication History

PDF eReader

References

[1]

Abramsky, S. and R. Bornat. Pascabm: a language for loosely coupled distributed systems. In Paker, Y. and j.-E Verjus, editors, Distributed Computing Systems, pp. 163- 189. Academic Press, New York, N.Y., 1986.

Google Scholar

[2]

Appel, A. W., J R. Ellis, and K. Li. Real-brae concurrent collection on stock multiprocessors In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June 1988, pp. 11-20.

Digital Library

Google Scholar

[3]

Agha, G. Actors: a Model of Concurrent Computation ill Distributed Systems. The MiT Press, Cambridge, Mass., 1986.

Digital Library

Google Scholar

[4]

Appel, A. W. and T. jim. Continuation-passing, closurepassing style. In Conference Record of the 16th Annual ACM Symposium on Principles of Programming Languages, January 1989, pp. 293-302.

Digital Library

Google Scholar

[5]

Appel, A. W. and D. B. MacQueen. A standard ML compiler. In Functional Programming Languages and Computer Architecture, volume 274 of Lecture Notes in Computer Science. Springer-Verlag, September 1987, pp. 301-324.

Digital Library

Google Scholar

[6]

Appel, A. W. Simple generational garbage collection and fast allocation. Software - Practice and Experience, 19(2), February 1989, pp 275-279

Digital Library

Google Scholar

[7]

Andrews, G. R. and E B. Schneider. Concepts and notations for concurrent programming. ACM Computing Surveys, 15(1), March 1983, pp. 3-43.

Digital Library

Google Scholar

[8]

Birman, K., R. Cooper, T. A. Joseph, K. Marzullo, M. Makpangou, K. Kane, E Schmuck, and M. Wood. The ISIS system manual, version 2.0. Computer Science Department, Cornell University, Ithaca, NY 14853, March 1990.

Google Scholar

[9]

Bornat, R. A protocol for generahzed occam. Software - Practice atzd Experience, 16(9), September 1986, pp. 783- 799.

Digital Library

Google Scholar

[10]

Buhr, P A and R. A Stroobosscher The ~system Providing light-weight concurrency on shared-memory multiprocessor computers running umx Software- Practice and Experience, 20(9), September 1990, pp 929-963

Crossref

Google Scholar

[11]

Burns, A. Programming in occam 2. Addison-Wesley, Reading, Mass., 1988.

Digital Library

Google Scholar

[12]

Cardelh, L. Amber In Combinators and Functional Programming Languages, volume 272 of Lecture Notes in Computer Sciel~ce. Sprmger-Verlag, July 1986, pp. 21-47.

Digital Library

Google Scholar

[13]

Cooper, E. C. and J G. Morrisett. Adding threads to standard ML Technical Report CMU-CS-90-186, School of Computer Science, Carnegie Mellon University, December 1990.

Google Scholar

[14]

Cardelh, L. and R. Pike. Squeak a language for commumcatlng with mice. In SIGGRAPH '85, July 1985, pp. 199-204.

Digital Library

Google Scholar

[15]

Dybvlg, R K and R Hieb Engines from continuations Computing Languages, 14(2), 1989, pp 109-123.

Digital Library

Google Scholar

[16]

Duba, B., R. Harper, and D. MacQueen. Type-checking first-class continuations In Conference Record of the 18th Annual ACM Symposium on Prh~ciptes of Programming Languages, January 1991, pp 163-173.

Digital Library

Google Scholar

[17]

Haahr, D. Montage: breaking windows into small pieces In USENIX Summer Conference, June 1990, pp. 289-297.

Google Scholar

[18]

Harper, R Introduction to standard ML Technical Report ECS-LFCS-86-14, Laboratory for Foundations of Computer Science, Computer Science Department, Edinburgh Umvers~ty, August 1986.

Google Scholar

[19]

Hleb, R., R. K. Dybvlg, and C Bruggeman Representing control m the presence of first-class continuations In Proceedings of the $IGPLAN'90 Conference on Programming Language Design and Implementation, June 1990, pp 66-77

Digital Library

Google Scholar

[20]

Haynes, C T., D. E Friedman, and M. Wand. Continuations and coroutines. In Conference record of the 1984 ACM Conference on Lisp and Functional Programming, July 1984, pp 293-298.

Digital Library

Google Scholar

[21]

Holmstrom, S. PFL: a functional Ianguage for parallel programming. In Declarative programming workshop, April 1983, pp. 114-139.

Google Scholar

[22]

Kranz, D, R Kelsey, J Rees, P. Hudak, J Philbin, and N Adams Orbit. an optimizing compiler for scheme In Proceedings of the SIGPLAN'86 Symposium on Compiler Cot~struction, July 1986, pp 219-233

Digital Library

Google Scholar

[23]

Liskov, B, D Curtis, P Johnson, and R. ScheLtler. Implementation of argus In Proceedings of the 11th ACM Symposium on Operating System Principles, November 1987, pp. 11t-122

Digital Library

Google Scholar

[24]

Lieberman, H Using prototyplcal objects to nnplement shared behavior m object oriented systems. In OPSLA'86 Proceedings, September 1986, pp 214-223

Digital Library

Google Scholar

[25]

Llskov, B and L Shrira Promises linguistic support for efficient asynchronous procedure caUs in distributed systems. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June t988, pp. 260-267.

Digital Library

Google Scholar

[26]

MacQueen, D. B. Modules for standard ML. In Conference record of the 1984 ACM Conference on Lisp and Functional Programmit~g, July 1984, pp 198-207

Digital Library

Google Scholar

[27]

Matthews, D C J'Pr~cessesf~rP~lyandML'InPapers~n Poly/ML, Technical Report 161. University of Cambridge, February 1989

Google Scholar

[28]

Mfiner, R, M Tofte, and R Harper. The definition of standard ML. The MIT Press, Cambridge, Mass, 1990

Digital Library

Google Scholar

[29]

Nye, A Xtib programming manual, volume 1. O'Reilly & Associates, Inc, 1990

Digital Library

Google Scholar

[30]

Pike, R. A concurrent window system. Computing Systems, 2(2), 1989, pp. 133-153.

Google Scholar

[31]

Ramsey, N Concurrent programming in ML Technical Report CS-TR-262-90, Department of Computer Science, Princeton Univers2y, April 1990

Google Scholar

[32]

Reppy, J. H Synchronous operations as first-class values. In Proceedings of the SIGPLAN'88 Conference on Programming Language Design and Implementation, June t988, pp. 250-259.

Digital Library

Google Scholar

[33]

Reppy, J. H. F~rst-class synchronous operations m standard ML Technical Report TR 89-1068, Computer Science Department, Cornell University, December 1989.

Digital Library

Google Scholar

[34]

Reppy, J. H. Asynchronous signals m standard ML. Technical Report TR 90-1144, Computer Science Department, Cornell University, August 1990.

Digital Library

Google Scholar

[35]

Reppy, J H. Concurrent programming with events - The concurrent ML manual. Computer Science Department, Cornell Umverslty, Ithaca, NY 14853, November 1990

Google Scholar

[36]

Reppy, J H. Two garbage collectors for SML/NJ Cornell University techincal report, in preparation, 1991

Google Scholar

[37]

Reppy, J. H. Higher-order concurrency. PhD thesrs, Computer Science Department, Cornell University, Ithaca, NY, 1991 forthcoming.

Digital Library

Google Scholar

[38]

Reppy, J. H. and E. R. Gansner. A foundation for prog-ramming envzronments. In Proceedings of the ACM S{G- SOFT/SIGPLAN Software Engineerzng Symposium on Practical Software Development Environments, December 1986, pp. 218-227.

Digital Library

Google Scholar

[39]

Scherfler, R. W. and J. Gettys. TheX window system ACM Transactions on Graphics, 5(2), April 1986, pp. 79-109

Digital Library

Google Scholar

[40]

Shaw, R A Improving garbage collection performance in virtualmemory Technical Report CSL-TR-87-323, Computer Systems Laboratory, Stanford University, 1987.

Google Scholar

[41]

Steele Jr., G. L. Rabbit: a compiler for scheme. Master's thesis, MIT, May 1978.

Google Scholar

[42]

Wand, M. Continuation-based multiprocessing In Conference Record of the 1980 Lisp Conference, August 1980, pp 19-28.

Digital Library

Google Scholar

Cited By

View all

Almeida BMordido AThiemann PVasconcelos V(2022)Polymorphic lambda calculus with context-free session typesInformation and Computation10.1016/j.ic.2022.104948289(104948)Online publication date: Nov-2022
https://doi.org/10.1016/j.ic.2022.104948
Elizarov RBelyaev MAkhin MUsmanov IDe Meuter WBaniassad E(2021)Kotlin coroutines: design and implementationProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3486607.3486751(68-84)Online publication date: 20-Oct-2021
https://dl.acm.org/doi/10.1145/3486607.3486751
Farvardin KReppy JDonaldson ATorlak E(2020)From folklore to fact: comparing implementations of stacks and continuationsProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385994(75-90)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3385994
Show More Cited By

Index Terms

CML: A higher concurrent language
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language features
        Concurrent programming structures
        Procedures, functions and subroutines
      2. Language types
        Concurrent programming languages
        Distributed programming languages
        Parallel programming languages

Recommendations

CML: A Meta‐Interpreter for Manufacturing

A new computer language for manufacturing is being used to link complex systems of equipment whose components are supplied by multiple vendors. The Cell Management Language (CML) combines computational tools from rule‐based data systems, object‐oriented ...
Specialization of CML message-passing primitives
Proceedings of the 2007 POPL Conference

Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous operations. This mechanism allows programmers to encapsulate complicated ...
Specialization of CML message-passing primitives
POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Concurrent ML (CML) is a statically-typed higher-order concurrent language that is embedded in Standard ML. Its most notable feature is its support for first-class synchronous operations. This mechanism allows programmers to encapsulate complicated ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

ACM SIGPLAN Notices Volume 26, Issue 6

June 1991

352 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/113446

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

Issue’s Table of Contents

PLDI '91: Proceedings of the ACM SIGPLAN 1991 conference on Programming language design and implementation
May 1991
356 pages
ISBN:0897914287
DOI:10.1145/113445
Chairman:
David S. Wise
Indiana Univ., Bloomington

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 6

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

204
Total Citations
View Citations
1,536
Total Downloads

Downloads (Last 12 months)242
Downloads (Last 6 weeks)31

Reflects downloads up to 19 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Almeida BMordido AThiemann PVasconcelos V(2022)Polymorphic lambda calculus with context-free session typesInformation and Computation10.1016/j.ic.2022.104948289(104948)Online publication date: Nov-2022
https://doi.org/10.1016/j.ic.2022.104948
Elizarov RBelyaev MAkhin MUsmanov IDe Meuter WBaniassad E(2021)Kotlin coroutines: design and implementationProceedings of the 2021 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software10.1145/3486607.3486751(68-84)Online publication date: 20-Oct-2021
https://dl.acm.org/doi/10.1145/3486607.3486751
Farvardin KReppy JDonaldson ATorlak E(2020)From folklore to fact: comparing implementations of stacks and continuationsProceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation10.1145/3385412.3385994(75-90)Online publication date: 11-Jun-2020
https://dl.acm.org/doi/10.1145/3385412.3385994
Cooper JNicolescu R(2019)Alternative representations of P systems solutions to the graph colouring problemJournal of Membrane Computing10.1007/s41965-019-00013-2Online publication date: 14-May-2019
https://doi.org/10.1007/s41965-019-00013-2
Sakayori KTsukada T(2019)A Categorical Model of an $$\mathbf {i/o}$$ -typed $$\pi $$ -calculusProgramming Languages and Systems10.1007/978-3-030-17184-1_23(640-667)Online publication date: 6-Apr-2019
https://doi.org/10.1007/978-3-030-17184-1_23
Cooper J(2018)Concurrent ML as an Alternative Parallel Programming Style for Image Processing2018 International Conference on Image and Vision Computing New Zealand (IVCNZ)10.1109/IVCNZ.2018.8634712(1-6)Online publication date: Nov-2018
https://doi.org/10.1109/IVCNZ.2018.8634712
Aning KMannock K(2017)An architecture and implementation of the actor model of concurrency2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)10.1109/IISA.2017.8316391(1-6)Online publication date: Aug-2017
https://doi.org/10.1109/IISA.2017.8316391
Thiemann PVasconcelos V(2016)Context-free session typesACM SIGPLAN Notices10.1145/3022670.295192651:9(462-475)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/3022670.2951926
Thiemann PVasconcelos VGarrigue JKeller GSumii E(2016)Context-free session typesProceedings of the 21st ACM SIGPLAN International Conference on Functional Programming10.1145/2951913.2951926(462-475)Online publication date: 4-Sep-2016
https://dl.acm.org/doi/10.1145/2951913.2951926
Anderson BBergstrom LGoregaokar MMatthews JMcAllister KMoffitt JSapin SDillon LVisser WWilliams L(2016)Engineering the servo web browser engine using RustProceedings of the 38th International Conference on Software Engineering Companion10.1145/2889160.2889229(81-89)Online publication date: 14-May-2016
https://dl.acm.org/doi/10.1145/2889160.2889229
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

CML: A Meta‐Interpreter for Manufacturing

Specialization of CML message-passing primitives

Specialization of CML message-passing primitives

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