default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGPLAN Notices, Volume 7
Volume 7, Number 1, January 1972
- Proceedings of ACM Conference on Proving Assertions About Programs, Las Cruces, New Mexico, USA, January 6-7, 1972. ACM 1972, ISBN 978-1-4503-7891-8 [contents]
Volume 7, Number 2, February 1972
- Christopher J. Shaw:
Errata to 1971 September issue. 18 - Christopher J. Shaw:
Errata to 1971 November 10 issue. 18 - Maurice H. Halstead:
Natural laws controlling algorithm structure? 19-26
Volume 7, Number 3, March 1972
- Robert A. Snowdon:
PEARL: an interactive system for the preparation and validation of structured programs. 9-26
Volume 7, Number 4, April 1972
- Michael A. Jenkins:
DOMINO: an APL primitive function for matrix inversion - - its implementation and applications. 29-40 - C. Pettus:
Indeterminate (0 ÷ 0) check in APL. 40-41 - Keith W. Smillie:
APLISP: a simple list processor in APL. 41-45 - Phillip S. Abrams, Lawrence M. Breed:
COLLOQUE APL: Paris, September 1971. 45-47 - James F. Clementi, Robert P. Fletcher, B. G. James:
Modification to the APL/1130 system: part 3. 47-49 - Robert P. Fletcher:
Algorithms: number 77 multiple integration. 55-64
Volume 7, Number 5, May 1972
- B. N. Dickman:
Review of "Symposium on some directions in high-level languages". 4-8 - J. David McGonagle:
Notes on the computer program test methods symposium. 8-12 - William A. Wulf:
Project Rosetta Stone: an exhibition of languages for system implementation. 13
Volume 7, Number 6, June 1972
- Leonard Mor, Joseph H. Yott, Hans P. Zima:
Progress: a programming language for real-time systems. 4-24 - Bernard Lang:
A new technique for data monitoring. 41-42
Volume 7, Number 7, July 1972
- John G. Fletcher, C. S. Badger, G. L. Boer, G. G. Marshall:
On the appropriate language for system programming. 28-30
Volume 7, Number 8, August 1972
- Brian A. Wichmann:
Estimating the execution speed of an Algol program. 24-44
Volume 7, Number 9, Septmeber 1972
- Edward J. Krall:
An implementation of on-conditions in LISP. 13-20 - B. M. Schwartz:
Design and implementation of PL/I preprocessor-based systems. 21-36
Volume 7, Number 10, October 1972
- James B. Morris, Mark B. Wells:
Proceedings of the Symposium on Two-Dimensional Man-Machine Communication, Los Alamos, New Mexico, USA, October 1, 1972. ACM 1972, ISBN 978-1-4503-7877-2 [contents]
Volume 7, Number 11, November 1972
Survey paper
- David A. Fisher:
A survey of control structures in programming languages. 1-13
- Kim P. Gostelow, Vincent G. Cerf, Gerald Estrin, Saul Volansky:
Proper termination of flow-of-control in programs involving concurrent processes. 15-27 - James B. Morris, Mark B. Wells:
The specification of program flow in Madcap 6. 28-35 - Charles J. Prenner, Jay M. Spitzen, Ben Wegbreit:
An implementation of backtracking for programming languages. 36-44 - Paul B. Schneck:
Automatic recognition of vector and parallel operations in a higher level language. 45-52
- Burt M. Leavenworth:
Programming with(out) the GOTO. 54-58 - Martin E. Hopkins:
A case for the GOTO. 59-62 - William A. Wulf:
A case against the GOTO. 63-69
Volume 7, Number 12, December 1972
- William A. Wulf:
The problem of the definition of subroutine calling conventions. 3-8 - B. N. Dickman:
Subroutine interface primitives for ETC. 9-19 - H. D. Baecker:
On a missing mode in ALGOL 68. 20-30 - Mark Rain:
Storage control in MARY. 31-39 - Eberhard Wegner:
Tree-structured programs. 40-42 - Per Holager:
A consolidation of synchronization primitives. 42-52
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-13 20:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
