A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)
- Raymond E. Miller
- 1972
- ACM SIGPLAN Notices
Publications
Date
Featured collections
Popular topics
185 results at ACM SIGPLAN Notices
Problems of PL/I for system programming
- Martin Hopkins
- 1971
- ACM SIGPLAN Notices
Modifications to the APL 1130/System to Provide More Convenient Operating on a Fortran User's Machine
- J.F. Clementi
- A.P. Fletcher
- 1971
- ACM SIGPLAN Notices
Transition functions: A method for semantic extensions
- B.M. Leavenworth
- 1971
- ACM SIGPLAN Notices
Comments on the proposed “revision of PL/I conversion and precision rules”
- G.M. Weinberg
- 1969
- ACM SIGPLAN Notices
Balanced double queues for GC work-stealing on weak memory models
- Michihiro Horie
- Hiroshi Horii
- et al.
- 2018
- ACM SIGPLAN Notices
Scalable lock-free dynamic memory allocation
- Maged M. Michael
- 2015
- ACM SIGPLAN Notices
A real-time garbage collector with low overhead and consistent utilization
- David F. Bacon
- Perry Cheng
- et al.
- 2013
- ACM SIGPLAN Notices
Efficient implementation of Java interfaces: Invokeinterface considered harmless
- Bowen Alpern
- Anthony Cocchi
- et al.
- 2011
- ACM SIGPLAN Notices
Dynamic Optimistic lnterprocedurai Analysis: A framework and an application
- Igor Pechtchanski
- Vivek Sarkar
- 2011
- ACM SIGPLAN Notices