{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:00:14Z","timestamp":1725724814558},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[1996,6,15]]},"DOI":"10.1145\/232627.232645","type":"proceedings-article","created":{"date-parts":[[2004,2,3]],"date-time":"2004-02-03T17:08:40Z","timestamp":1075828120000},"page":"157-168","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["First-class synchronization barriers"],"prefix":"10.1145","author":[{"given":"Franklyn","family":"Turbak","sequence":"first","affiliation":[{"name":"Wellesley College Computer Science Department"}]}],"member":"320","published-online":{"date-parts":[[1996,6,15]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)00185-L"},{"key":"e_1_3_2_1_4_2","volume-title":"Compiling with Continuations","author":"Appel Andrew W.","year":"1992","unstructured":"Andrew W. Appel . Compiling with Continuations . Cambridge University Press , 1992 . Andrew W. Appel. Compiling with Continuations. Cambridge University Press, 1992."},{"key":"e_1_3_2_1_5_2","volume-title":"January","author":"Ariola Zena","year":"1996","unstructured":"Zena Ariola . Personal communication , January 1996 . Zena Ariola. Personal communication, January 1996."},{"key":"e_1_3_2_1_6_2","first-page":"1","volume-title":"J. W. deBakker, W.-P","author":"Ashcroft E. A.","year":"1986","unstructured":"E. A. Ashcroft . Datafiow and eduction: Datadriven and demand-driven distributed computing . In J. W. deBakker, W.-P . de Roever, and G. Rozenberg, editors, Current Trends in Concurrency : Overviews and Tutorials, pages 1 - 50 . Springer- Verlag , 1986 . Lecture Notes in Computer Science, Number 224. E. A. Ashcroft. Datafiow and eduction: Datadriven and demand-driven distributed computing. In J. W. deBakker, W.-P. de Roever, and G. Rozenberg, editors, Current Trends in Concurrency: Overviews and Tutorials, pages 1-50. Springer- Verlag, 1986. Lecture Notes in Computer Science, Number 224."},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1007\/3-540-17945-3_9","volume-title":"PARLE: Parallel Architectures and Languages Europe","author":"Barendregt H.P.","year":"1987","unstructured":"H.P. Barendregt Toward an intermediate language based on graph rewriting , in PARLE: Parallel Architectures and Languages Europe , Volume 2 , pages 159 - 175 . Springer-Verlag , 1987 . Lecture Notes in Computer Science, Number 259. H.P. Barendregt et al. Toward an intermediate language based on graph rewriting, in PARLE: Parallel Architectures and Languages Europe, Volume 2, pages 159- 175. Springer-Verlag, 1987. Lecture Notes in Computer Science, Number 259."},{"key":"e_1_3_2_1_10_2","series-title":"Constructive Methods in Computing Science (NA TO ASI Series","volume-title":"Lectures on constructive functional programming","author":"Bird Richard S.","year":"1988","unstructured":"Richard S. Bird . Lectures on constructive functional programming . In Manfred Broy, editor, Constructive Methods in Computing Science (NA TO ASI Series , Vol. F55), pages 5- 42 . Springer-Verlag , 1988 . Richard S. Bird. Lectures on constructive functional programming. In Manfred Broy, editor, Constructive Methods in Computing Science (NA TO ASI Series, Vol. F55), pages 5-42. Springer-Verlag, 1988."},{"key":"e_1_3_2_1_13_2","doi-asserted-by":"publisher","DOI":"10.1145\/382130.382133"},{"key":"e_1_3_2_1_14_2","first-page":"43","volume-title":"Programming Languages (NATO Advanced Study institute)","author":"Dijkstra E. W.","year":"1968","unstructured":"E. W. Dijkstra . Co-operating sequential processes . In F. Genuys, editor, Programming Languages (NATO Advanced Study institute) , pages 43 - 112 . London : Academic Press , 1968 . E. W. Dijkstra. Co-operating sequential processes. In F. Genuys, editor, Programming Languages (NATO Advanced Study institute), pages 43-112. London: Academic Press, 1968."},{"key":"e_1_3_2_1_15_2","first-page":"41","volume-title":"A system which automatically improves programs. Acta informatica","author":"Darlington John","year":"1976","unstructured":"John Darlington and R.M. BurstaU. A system which automatically improves programs. Acta informatica , pages 41 - 60 , 1976 . John Darlington and R.M.BurstaU. A system which automatically improves programs. Acta informatica, pages 41-60, 1976."},{"key":"e_1_3_2_1_16_2","first-page":"219","volume-title":"Topics in Advanced Language Implementation","author":"Forin Alessandro","year":"1991","unstructured":"Alessandro Forin . Futures . In Peter Lee, editor, Topics in Advanced Language Implementation , pages 219 - 241 . MIT Press , 1991 . Alessandro Forin. Futures. In Peter Lee, editor, Topics in Advanced Language Implementation, pages 219-241. MIT Press, 1991."},{"key":"e_1_3_2_1_17_2","volume-title":"Programming Linguistics","author":"Gelernter David","year":"1990","unstructured":"David Gelernter and Suresh Jagannathan . Programming Linguistics . MIT Press , 1990 . David Gelernter and Suresh Jagannathan. Programming Linguistics. MIT Press, 1990."},{"key":"e_1_3_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_20_2","doi-asserted-by":"publisher","DOI":"10.1145\/355620.361161"},{"key":"e_1_3_2_1_21_2","volume-title":"Communicating Sequential Processes","author":"Hoare C.A.R.","year":"1985","unstructured":"C.A.R. Hoare . Communicating Sequential Processes . Prentice-Hall , 1985 . C.A.R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985."},{"key":"e_1_3_2_1_22_2","volume-title":"Technical report","author":"Hughes R. J. M.","year":"1984","unstructured":"R. J. M. Hughes . Parallel functional languages use less space. Technical report , Oxford University Programming Research Group , 1984 . R. J. M. Hughes. Parallel functional languages use less space. Technical report, Oxford University Programming Research Group, 1984."},{"key":"e_1_3_2_1_23_2","first-page":"17","volume-title":"David Turner","author":"Hughes R. J. M.","year":"1990","unstructured":"R. J. M. Hughes . Why functional programming matters. In David Turner , editor, Research Topics in Functional Programming, pages 17 - 42 . Addison Wesley , 1990 . R. J. M. Hughes. Why functional programming matters. In David Turner, editor, Research Topics in Functional Programming, pages 17-42. Addison Wesley, 1990."},{"key":"e_1_3_2_1_25_2","volume-title":"Communication and Concurrency","author":"Milner Robin","year":"1989","unstructured":"Robin Milner . Communication and Concurrency . Prentice-Hall , 1989 . Robin Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"e_1_3_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/3318.3480"},{"key":"e_1_3_2_1_27_2","doi-asserted-by":"publisher","DOI":"10.1145\/5001.5003"},{"key":"e_1_3_2_1_28_2","doi-asserted-by":"publisher","DOI":"10.1145\/356698.356702"},{"key":"e_1_3_2_1_29_2","volume-title":"The Implementation of Functional Programming Languages","author":"Peyton Jones Simon L.","year":"1987","unstructured":"Simon L. Peyton Jones . The Implementation of Functional Programming Languages . Prentice-Hall , 1987 . Simon L. Peyton Jones. The Implementation of Functional Programming Languages. Prentice-Hall, 1987."},{"key":"e_1_3_2_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113470"},{"key":"e_1_3_2_1_32_2","volume-title":"A new implementation for applicatire languages. Software - Practice and Experience, 9:31-49","author":"Turner D. A.","year":"1979","unstructured":"D. A. Turner . A new implementation for applicatire languages. Software - Practice and Experience, 9:31-49 , 1979 . D. A. Turner. A new implementation for applicatire languages. Software - Practice and Experience, 9:31-49, 1979."},{"key":"e_1_3_2_1_34_2","doi-asserted-by":"publisher","DOI":"10.1145\/800055.802020"},{"key":"e_1_3_2_1_35_2","first-page":"344","volume-title":"2nd European Symposium on Programming","author":"Wadler Philip","year":"1988","unstructured":"Philip Wadler . Deforestation : Transforming programs to eliminate trees . In 2nd European Symposium on Programming , pages 344 - 358 , 1988 . Lecture Notes in Computer Science, Number 300. Philip Wadler. Deforestation: Transforming programs to eliminate trees. In 2nd European Symposium on Programming, pages 344-358, 1988. Lecture Notes in Computer Science, Number 300."},{"key":"e_1_3_2_1_36_2","first-page":"923","volume-title":"Guy L. Steele Jr.","author":"Waters Richard C.","year":"1990","unstructured":"Richard C. Waters . Series . In Guy L. Steele Jr. , editor, Common Lisp : The Language, pages 923 - 955 . Digital Press , 1990 . Richard C. Waters. Series. In Guy L. Steele Jr., editor, Common Lisp: The Language, pages 923- 955. Digital Press, 1990."},{"key":"e_1_3_2_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102806"},{"key":"e_1_3_2_1_38_2","unstructured":"Paul R. Wilson. Uniprocessor garbage collection techniques. A CM Computing Surveys (to appear). Paul R. Wilson. Uniprocessor garbage collection techniques. A CM Computing Surveys (to appear)."}],"event":{"name":"ICFP96: International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Philadelphia Pennsylvania USA","acronym":"ICFP96"},"container-title":["Proceedings of the first ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/232627.232645","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T21:42:08Z","timestamp":1693863728000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/232627.232645"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996,6,15]]},"references-count":29,"alternative-id":["10.1145\/232627.232645","10.1145\/232627"],"URL":"https:\/\/doi.org\/10.1145\/232627.232645","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/232629.232645","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[1996,6,15]]},"assertion":[{"value":"1996-06-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}