Debuggable concurrency extensions for standard ML
- 1 December 1991
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 26 (12) , 120-131
- https://doi.org/10.1145/127695.122770
Abstract
No abstract availableThis publication has 18 references indexed in Scilit:
- Typing first-class continuations in MLPublished by Association for Computing Machinery (ACM) ,1991
- Parallel discrete event simulationCommunications of the ACM, 1990
- An empirical comparison of monitoring algorithms for access anomaly detectionPublished by Association for Computing Machinery (ACM) ,1990
- Memory consistency and event ordering in scalable shared-memory multiprocessorsPublished by Association for Computing Machinery (ACM) ,1990
- Mul-T: a high-performance parallel LispPublished by Association for Computing Machinery (ACM) ,1989
- Synchronization primitives for a multiprocessor: a formal specificationPublished by Association for Computing Machinery (ACM) ,1987
- MULTILISP: a language for concurrent symbolic computationACM Transactions on Programming Languages and Systems, 1985
- Virtual timeACM Transactions on Programming Languages and Systems, 1985
- Communicating sequential processesCommunications of the ACM, 1978
- MonitorsCommunications of the ACM, 1974