A boundary between decidability and undecidability for parallel program schemata (Extended Abstract)
- Raymond E. Miller
- 1972
- ACM SIGPLAN Notices
Publications
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