default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDACM SIGPLAN Notices, Volume 13
Volume 13, Number 1, January 1978
- Oddur Benediktsson:
Notes on argument-parameter association in Fortran. 16-20 - Daniel Brand:
A note on data abstractions. 21-24 - Dominique Comte, Guy Durrieu, O. Gelly, A. Plas, Jean-Claude Syre:
Parallelism, control and synchronization expression in a single assignment language. 25-33 - Otto K. Ferstl:
Flowcharting by stepwise refinement. 34-42 - J. Georges, F. Heymans:
On parametric array expressions. 43-47 - Michal Iglewski, Jan Madey, Stan Matwin:
A contribution to an improvement of PASCAL. 48-58 - Allan J. Payne:
A formalised technique for expressing compiler exercisers. 59-69 - David B. Wortman:
A rooster of XPL implementations. 70-74
Volume 13, Number 2, February 1978
- James L. Elshoff:
An investigation into the effects of the counting method used on software science measurements. 30-45 - Phil J. Grouse:
"Flowblocks": a technique for structured programming. 46-56 - Gary J. Nutt:
A comparison of PASCAL and FORTRAN as introductory programming languages. 57-62 - David C. Pflasterer:
An approach to efficient, fault tolerant programming. 63-70
Volume 13, Number 3, March 1978
- News of past events. 9-10
- Robert L. Glass:
Patching is alive and, lamentably, thriving in the real-time world. 25-28 - Wilfred J. Hansen:
Measurement of program complexity by the pair: (Cyclomatic Number, Operator Count). 29-33 - Ernest Chang, Neil Kaden, W. David Elliott:
Abstract data types in Euclid. 34-42 - Edward G. Aseltine, Henry Spencer:
Isolation of machine dependencies in Euclid. 43-48 - Jim des Rivières, Henry Spencer:
Readability and writability in Euclid. 49-56 - Ted Venema, Jim des Rivières:
Euclid and PASCAL. 57-69 - David T. Barnard, W. David Elliott, David H. Thompson:
Euclid and Modula. 70-84 - W. David Elliott:
Index to the Euclid report. 85-89 - Robert G. Estell:
A chapter in the history of DOD-1. 90-92
Volume 13, Number 4, April 1978
- Forest Baskett:
The best simple code generation technique for WHILE, FOR, and DO loops. 31-32 - John C. Burda:
The translation of boolean: expressions into optimal transfer logic code for the OLIVER data base management system compiler. 33-43 - R. J. Chevance, T. Heidet:
Static profile and dynamic behavior of COBOL programs. 44-57 - Mitchell H. Clifton:
A technique for making structured programs more readable. 58-63 - Douglas W. Jones:
A note on some limits of the algebraic specification method. 64-67 - Tom Jacobsen:
Another view of coroutines. 68-75 - William Slater, Howard Modell:
Structured programming considered harmful. 76-79 - P. A. Subrahmanyam:
On a finite axiomatization of the data type L. 80-84 - Joachim von Peschke:
Comment on a paper of R. A. Freiburghouse. 85-88
Volume 13, Number 5, May 1978
- Richard L. Wexelblat, Debra D. Child:
New books. 7-8 - G. J. Battarel, R. J. Chevance:
Requirements for a safe PL/1 implementation. 12-22 - Jean Bézivin, Jean Louis Nebut, Robert Rannou:
Another view of coroutines. 23-35 - Ned Chapin, Susan P. Denniston:
Characteristics of a structured program. 36-45 - David R. Ditzel:
Pattern matching for high level languages. 46-55 - Michael B. Feldman:
Embedding sparse matrix operations in SNOBOL4. 56-64 - Richard C. Holt, G. Scott Graham, Edward D. Lazowska
, M. A. Scott:
Announcing CONCURRENT SP/k. 65-68
Volume 13, Number 6, June 1978
- Glen B. Alleman:
Parameter validation for software reliability. 18-28 - James L. Elshoff:
A study of the structural composition of PL/I programs. 29-37 - Janusz Górski:
Sticky variables and memory optimization. 38-48 - Victor B. Schneider:
Prediction of software effort and project duration: four new formulas. 49-59
Volume 13, Number 7, July 1978
- Richard L. Wexelblat, Debra D. Child:
New books. 14-17 - Lloyd Allison:
On nondeterministic control structures. 18-20 - Edsger W. Dijkstra:
DoD-I: the summing up. 21-26 - Brian Ford:
Parameterisation of the environment for transportable numerical software. 27-30 - Brian Lewis:
Further comments on "a view of coroutines". 31-33 - Patricia R. Mohilner:
Prettyprinting PASCAL programs. 34-40 - Rodney Parkin:
On the use of keywords for passing procedure parameters. 41-42 - Stef. W. Postma:
FEA: a formal English subset for Algebra/Assertions. 43-59
Volume 13, Number 8, August 1978
- David Gries:
ACM SIGPLAN history of programming languages conference ALGOL 60 language summary. 1 - Alan J. Perlis:
The American side of the development of Algol. 3-14 - Peter Naur:
The European side of the last phase of the development of ALGOL 60. 15-44 - APL language summary. 45
- Adin D. Falkoff, Kenneth E. Iverson:
The evolution of APL. 47-57 - ACM SIGPLAN history of programming languages conference APT language summary. 59-60
- Douglas T. Ross:
Origins of the APT language for automatically programmed tools. 61-99 - Ted G. Lewis:
ACM SIGPLAN history of programming languages conference BASIC language summary. 101-102 - Thomas E. Kurtz:
BASIC. 103-118 - ACM SIGPLAN history of programming languages conference COBOL 60 language summary. 119
- Jean E. Sammet:
The early history of COBOL. 121-161 - Bernard A. Galler:
The FORTRAN Language. 163-164 - John W. Backus:
The history of FORTRAN I, II, and III. 165-180 - ACM SIGPLAN history of programming languages conference GPSS language summary. 181-182
- Geoffrey Gordon:
The development of the General Purpose Simulation System (GPSS). 183-198 - Charles L. Baker:
ACM SIGPLAN history of programming languages conference JOSS language summary. 199-200 - Thomas E. Cheatham Jr.:
A brief description of JOVIAL. 201-202 - Jules I. Schwartz:
The development of JOVIAL. 203-214 - John McCarthy:
A micro-manual for LISP - not the whole truth. 215-216 - John McCarthy:
History of LISP. 217-223 - Robert F. Rosin:
ACM SIGPLAN history of programming languages conference PL/I language summary. 225-226 - George Radin:
The early history and characteristics of PL/I. 227-241 - William R. Franta:
ACM SIGPLAN history of programming languages conference SIMULA language summary. 243-244 - Kristen Nygaard, Ole-Johan Dahl:
The development of the SIMULA languages. 245-272 - Michael D. Shapiro:
ACM SIGPLAN history of programming languages conference SNOBOL language summary. 273-274 - Ralph E. Griswold:
A history of the SNOBOL programming languages. 275-308 - Richard L. Wexelblat:
Afterword. 309-310
Volume 13, Number 9, September 1978
- Paul W. Abrahams:
Two programming problems. 28-29 - Richard J. LeBlanc:
Extensions to PASCAL for separate compilation. 30-33 - W. Douglas Maurer:
Register type bits: a proposal for efficient instruction repertoire extension. 34-35 - Mary Shaw, Paul N. Hilfinger, William A. Wulf:
Language design for the Ironman requirement: reference manual. 36-58 - Mary Shaw, Paul N. Hilfinger, William A. Wulf:
Language design for the Ironman requirement: notes and examples. 59-75 - Emmanuel Skordalakis, George K. Papakonstantinou:
Coroutines in FORTRAN. 76-84
Volume 13, Number 10, October 1978
- John S. James:
FORTH for microcomputers. 33-39 - George E. Lindamood:
Some delitescent concepts in computer architecture. 40-41 - Jed Marti:
The META/REDUCE translator writing system. 42-49 - Linda Zucconi:
A comment on Chapin's and Denniston's "characteristics of a structured program". 50-51
Volume 13, Number 11, November 1978
- Richard L. Wexelblat:
New books III. 8-10 - John E. Crider:
Structured formatting of Pascal programs. 15-22 - Irving B. Elliott:
Optimization of the compiling of subscripted array references. 23-29 - Thomas A. Kovats:
Program readability, closing keywords and prefix-style intermediate keywords. 30-42 - David C. Pflasterer:
The CAMIL programming language. 43-55 - Jean E. Sammet:
Roster of programming languages for 1976-77. 56-85
Volume 13, Number 12, December 1978
- Friedrich L. Bauer, Manfred Broy, Rupert Gnatz, Wolfgang Hesse, Bernd Krieg-Brückner, Helmuth Partsch, Peter Pepper, Hans Wössner:
Towards a wide spectrum language to support program specification and program development. 15-24 - B. D. Chaudhary, H. V. Sahasrabuddhe:
Suggestions about a specification technique. 25-28 - James L. Elshoff, Michael Marcotty:
On the use of the cyclomatic number to measure program complexity. 29-40 - Peter E. Lauer, M. W. Shields:
Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts. 41-59 - Peter L. Montgomery:
Evaluation of boolean expressions on one's complement machines. 60-72 - Robert A. Nelson:
XL: a language structure. 73-87 - V. Sinha, K. Vinod Kumar:
Efficient evaluation of Boolean expressions. 88-97 - Richard L. Sites:
Programming tools: statement counts and procedure timings. 98-101 - Peter Wegner:
Supporting a flourishing language culture. 102-104
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-12 01:25 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:
