Last update:
Thu Aug 8 07:16:56 MDT 2024
S. O. Anderson and
R. C. Backhouse An alternative implementation of an
insertion-only recovery technique . . . 289--298
R. J. Cichelli Minimal Perfect Hash Functions Made
Simple . . . . . . . . . . . . . . . . . 17--19
R. J. Cichelli Technical Correspondence: On Cichelli's
Minimal Perfect Hash Functions Method 728--729
G. Jaeschke and
G. Osterburg Technical Correspondence: On Cichelli's
Minimal Perfect Hash Functions Method 728--729
G. Gonnet and
F. W. Tompa A constructive approach to the design of
algorithms and their data structures . . 912--920
Thomas J. Sager A Polynomial Time Generator for Minimal
Perfect Hash Functions . . . . . . . . . 523--532
Jerome T. Coonen An Implementation Guide to a Proposed
Standard for Floating Point Arithmetic 68--79
David Stevenson A Proposed Standard for Binary
Floating-Point Arithmetic . . . . . . . 51--62
Jerome T. Coonen Errata: An Implementation Guide to a
Proposed Standard for Floating Point
Arithmetic . . . . . . . . . . . . . . . 62
William J. Cody, Jr. Analysis of Proposals for the
Floating-Point Standard . . . . . . . . 63--68
David Hough Applications of the Proposed IEEE-754
Standard for Floating Point Arithmetic 70--74
Jerome T. Coonen Underflow and the Denormalized Numbers 75--87
G. M. Berns Significant Fortran reliability problems
and what Fortran 8X can do about them 25--32
B. T. Smith Software parts in Fortran 8X . . . . . . 33--38
J. L. Wagener Is Fortran getting too big? . . . . . . 16--16
G. Aharonian Let's kill future Fortrans . . . . . . . 21--23
Gregory Aharonian Technical contributions: Automated
Fortran conversion . . . . . . . . . . . 13--19
John Reid John Reid reports: X3J3 meeting, August
1986 . . . . . . . . . . . . . . . . . . 4--77
John Reid John Reid reports: X3J3 meeting,
November 1986 . . . . . . . . . . . . . 8--11
John Reid John Reid reports: X3J3 meeting,
February 1987 . . . . . . . . . . . . . 12--27
M. Metcalf Fortran 8X--the emerging standard . . . 28--47
J. Adams and
J. Reid Fortran 8X--the draft Fortran standard
revision . . . . . . . . . . . . . . . . 27--38
D. Guinier Fortran programs on a personal computer 39--47
Lorer P. Meissner Concerning the Fortran 8X draft . . . . 1--31
John Reid X3J3 meeting, November 1987 . . . . . . 4--96
Albert Hybl Correspondence . . . . . . . . . . . . . 10--11
L. Schonfelder and
S. Morgan Pointer functionality Sans data-type . . 12--26
T. Lahey The Fortran 8X standard . . . . . . . . 27--30
J. Fullerton An alternate design for Fortran 8X . . . 31--40
S. Miyawaki Fortran 8X abridgement . . . . . . . . . 41--78
Kent P. Dolan Fortran 8X discussion . . . . . . . . . 17--27
Loren Meissner More on Fortran 8X pointer proposals . . 28--36
Loren P. Meissner X3J3 avoids deadlock . . . . . . . . . . 1--53
John Reid John Reid Reports . . . . . . . . . . . 6--32
Edward Reid Edward Reid: some comments on Fortran 8X 33--36
Loren P. Meissner Summary of Fortran 88 . . . . . . . . . 15--31
Jeanne C. Adams and
Jerrold L. Wagener Summary of changes to Fortran draft . . 13--19
Loren P. Meissner Partial-record input and output . . . . 20--23
Computer and
Business Equipment Manufacturers Association (CBEMA) Fortran 8X draft, May 1989: American
National Standard for Information
Systems Programming Language Fortran, S8
(X3.9-198x), Revision of X3.9-1978 . . . various
Ellis Horowitz and
Ronald C. Williamson SODOS: a software documentation support
environment --- its definition . . . . . 849--859
D. Grune How to produce all sentences from a
two-level grammar . . . . . . . . . . . 181--185
J. Kral On software equations . . . . . . . . . 191--196
S. Smith and
D. Barnard and
I. MacLeod Holophrasted displays in an interactive
environment . . . . . . . . . . . . . . 343--355
B. Srinivasan and
V. Gopalakrishna Control flow complexity and
structuredness of programs . . . . . . . 110--115
John C. Reynolds Reasoning about arrays . . . . . . . . . 23--23
John Beidler and
John Meinke An intermediate level dynamic storage
capability . . . . . . . . . . . . . . . 24--33
Richard J. Cichelli Pascal-I: interactive, conversational
Pascal-S . . . . . . . . . . . . . . . . 34--44
Karel Culik What is a flowchart loop and about
structured programming . . . . . . . . . 45--57
John Gannon and
Paul McMullin and
Richard Hamlet and
Mark Ardis Testing traversable stacks . . . . . . . 58--65
Douglas R. Kaye Interactive Pascal input . . . . . . . . 66--68
William P. LaPlant, Jr. and
Matthew A. Jaro The UNIMAC lexical analyzer . . . . . . 69--76
Janusz W. Laski A hierarchical approach to program
testing . . . . . . . . . . . . . . . . 77--85
C. D. S. Moss Structures programming with LOOP
statements . . . . . . . . . . . . . . . 86--94
Roger Schoenberger Resource management in PORTAL . . . . . 95--102
Stephen A. Sutton An algorithm for user interaction . . . 103--104
Richard N. Taylor Assertions in programming languages . . 105--114
Barry K. Rosen How practical is POPL? . . . . . . . . . 115--116
Roger M. Firestone An experimental LISP system for the
Sperry Univac 1100 series . . . . . . . 117--129
Michael A. Mayor A language for network analysis and
definition . . . . . . . . . . . . . . . 130--138
F. P. Mehrlich and
S. M. Tanner Portability: high level language
implementation . . . . . . . . . . . . . 139--145
Frank W. Stodola The PLUS programming language . . . . . 146--155
Thomas G. Weidner CHAMIL: a case study in microprogramming
language design . . . . . . . . . . . . 156--166
Henry G. Baker, Jr. A source of redundant identifiers in
PASCAL programs . . . . . . . . . . . . 14--16
Raymond T. Boute Simplifying ADA by removing limitations 17--29
Harald Ganzinger and
Knut Ripken Operator identification in ADA: formal
specification, complexity, and concrete
implementation . . . . . . . . . . . . . 30--42
D. C. Ince An interpretative implementation of
limited entry decision tables in ALGOL
68 . . . . . . . . . . . . . . . . . . . 43--45
Jaroslav Král Parkinson programming . . . . . . . . . 46--50
Godfrey Lee and
Tim Boreham and
Bob Minns and
Fred Smith and
Rick Soderstrom FORTRAN programming standards . . . . . 51--63
A. Silberschatz and
R. B. Kieburtz The external consistency of abstract
data types . . . . . . . . . . . . . . . 64--73
Manfred Weber and
Susan L. Bernstein Global register allocation for
non-equivalent register sets . . . . . . 74--81
Linda Zucconi A comment on ``Control flow complexity
and structuredness of programs'' by
Srinivasan and Gopalakrishna . . . . . . 82--84
Bruce Anderson Type syntax in the language `C', an
object lesson in syntactic innovation 21--27
Herbert A. Klaeren An abstract software specification
technique based on structural recursion 28--34
K.-J. Raiha Bibliography on attribute grammars . . . 35--44
Mary Shaw and
Wm. A. Wulf Toward relaxing assumptions in languages
and their implementations . . . . . . . 45--61
A. M. Addyman A draft proposal for PASCAL . . . . . . 1--66
A. M. Addyman PASCAL standardisation . . . . . . . . . 67--69
Norman H. Cohen Gödel numbers: a new approach to
structured programming . . . . . . . . . 70--74
David Harel ``do considered od'' considered odder
than ``do considered ob'' . . . . . . . 75--75
Brian A. Hetrick and
H. Eisenberg Confinement of a class of harmful
effects of the goto statement . . . . . 76--78
R. Schild and
H. Lienhard Real-time programming in PORTAL . . . . 79--92
Richard J. Cichelli Fixing PASCAL's I/O . . . . . . . . . . 19--19
Charles Crowley Structured programming is
reductionistic! . . . . . . . . . . . . 20--23
John R. Ellis A Lisp shell . . . . . . . . . . . . . . 24--34
Douglas W. Jones Tasking and parameters: a problem area
in Ada . . . . . . . . . . . . . . . . . 37--40
Dennis W. Leinbaugh Indenting for the compiler . . . . . . . 41--48
John Levine Why a Lisp-based command language? . . . 49--53
Sten Ljungkvist Pascal and existing Fortran files . . . 54--55
Terje Noodt and
Dag Belsnes A simple extension of PASCAL for
quasi-parallel processing . . . . . . . 56--65
John Van Zandt On visual and textual structures . . . . 78--80
J. T. Galkowski A critique of the DOD common language
effort . . . . . . . . . . . . . . . . . 15--18
D. W. E. Blatt On the great big substitution problem 19--27
Franklyn T. Bradshaw and
George W. Ernst and
Raymond J. Hookway and
William F. Ogden Procedure semantics and language
definition . . . . . . . . . . . . . . . 28--33
Victor S. Foster Performance measurement of a Pascal
compiler . . . . . . . . . . . . . . . . 34--38
Ahmed Mahjoub A new Modula compiler for the LSI-11 . . 39--45
Michael McNeil and
William Tracz PL/I program efficiency . . . . . . . . 46--60
Brian Meek Serial attitudes, parallel attitudes . . 61--63
Abha Moitra A note on algebraic specification of
binary trees . . . . . . . . . . . . . . 64--67
J. K. Reid Functions for manipulating
floating-point numbers . . . . . . . . . 68--76
Jan van den Bos Comments on ADA process communication 77--81
K. M. Chandy and
J. Misra A simple model of distributed programs
based on implementation-hiding and
process autonomy . . . . . . . . . . . . 26--35
Frank DeRemer and
Tom Pennello and
Richard Meyers A syntax diagram for (preliminary) Ada 36--47
Robert L. Glass The ``project which failed'' which
succeeded . . . . . . . . . . . . . . . 48--51
D. C. Ince Paged input/output in some high level
languages . . . . . . . . . . . . . . . 52--57
Manfred Jackel A formatting parser for PASCAL programs 58--63
Radu Nicolescu Some short comments on the definition
and the documentation of the Ada
programming language . . . . . . . . . . 64--71
Frank G. Pagan Nested sublanguages of ALGOL 68 for
teaching purposes . . . . . . . . . . . 72--81
Tom Pennello and
Frank DeRemer and
Richard Meyers A simplified operator identification
scheme for Ada . . . . . . . . . . . . . 82--87
Robert Smart Pointers to local variables . . . . . . 88--89
Roy H. Campbell and
Robert B. Kolstad An overview of Path Pascal's design . . 13--14
Robert B. Kolstad and
Roy H. Campbell Path Pascal user manual . . . . . . . . 15--24
A. Chiarini On FP languages combining forms . . . . 25--27
W. P. Dodd Some comments on a recent article by
Salvadori and Dumont regarding the
evaluation of compound conditional
expressions . . . . . . . . . . . . . . 28--31
Syuetsu Hanata and
Tadamasa Satoh Compact Chart --- a program logic
notation with high describability and
understandability . . . . . . . . . . . 32--38
Jürgen M. Janas A comment on `operator identification in
ADA' by Ganzinger and Ripken . . . . . . 39--43
John A. Sharp Data oriented program design . . . . . . 44--57
M. Nadir Yücel and
Bo\ugos Pinar Bit processing with FORTRAN . . . . . . 58--60
Tadao Takaoka Introduction of history to variables . . 61--63
Murat M. Tanik Two experiments on a program complexity
perception by programmers . . . . . . . 64--66
Ed Ashcroft and
Bill Wadge Some common misconceptions about Lucid 15--26
Ronald F. Brender The case against Ada as an APSE command
language . . . . . . . . . . . . . . . . 27--34
James F. Gimpel Contour: a method of preparing
structured flowcharts . . . . . . . . . 35--41
Marc A. Gobin File handling in programming languages 42--47
J. B. Goodenough Ada (July 1980) syntax cross reference
listing . . . . . . . . . . . . . . . . 48--56
Henry F. Ledgard A human engineered variant of BNF . . . 57--62
D. V. Moffat A categorized Pascal bibliography (June,
1980) . . . . . . . . . . . . . . . . . 63--75
Kuo-Chung Tai and
Ken Garrard Comments on the suggested implementation
of tasking facilities in the 'Rationale
for the design of the Ada programming
language' . . . . . . . . . . . . . . . 76--84
Amiram Yehudai Automatic indention versus program
formatting . . . . . . . . . . . . . . . 85--87
John B. Goodenough The Ada compiler validation capability 1--8
David S. Notkin An experience with parallelism in Ada 9--15
Richard E. Fairley Ada debugging and testing support
environments . . . . . . . . . . . . . . 16--25
A. G. Duncan and
J. S. Hutchison Using Ada for industrial embedded
microprocessor applications . . . . . . 26--35
Gerhard Goos and
Georg Winterstein Towards a compiler front-end for Ada . . 36--46
Guido Persch and
Georg Winterstein and
Manfred Dausmann and
Sophia Drossopoulou Overloading in preliminary Ada . . . . . 47--56
Peter A. Belmont Type resolution in Ada: an
implementation report . . . . . . . . . 57--61
Mark S. Sherman and
Martha S. Borkan A flexible semantic analyzer for Ada . . 62--71
Jonathan Rosenberg and
David Alex Lamb and
Andy Hisgen and
Mark Sherman The Charrette Ada compiler . . . . . . . 72--81
Andy Hisgen and
David Alex Lamb and
Jonathan Rosenberg and
Mark Sherman A runtime representation for Ada
variables and types . . . . . . . . . . 82--90
Mark Sherman and
Andy Hisgen and
David Alex Lamb and
Jonathan Rosenberg An Ada code generator for VAX 11/780
with Unix . . . . . . . . . . . . . . . 91--100
Benjamin M. Brosgol TCOL$_{\rm Ada}$ and the ``middle end''
of the PQCC Ada compiler . . . . . . . . 101--112
David C. Luckham and
Wolfgang Polak A practical method of documenting and
verifying Ada programs with packages . . 113--122
William D. Young and
Donald I. Good Generics and verification in Ada . . . . 123--127
Bernd Krieg-Brückner and
David C. Luckham ANNA: towards a language for annotating
Ada programs . . . . . . . . . . . . . . 128--138
Lori A. Clarke and
Jack C. Wileden and
Alexander L. Wolf Nesting in Ada programs is for the birds 139--145
Lee MacLaren Evolving toward Ada in real time systems 146--155
W. Eventoff and
D. Harvey and
R. J. Price The rendezvous and monitor concepts: is
there an efficiency difference?
(concurrent programming language) . . . 156--165
D. R. Stevenson Algorithms for translating Ada
multitasking . . . . . . . . . . . . . . 166--175
Gary L. Filipski and
Donald R. Moore and
John E. Newton Ada as a software transition tool . . . 176--182
Paul F. Albrecht and
Philip E. Garrison and
Susan L. Graham and
Robert H. Hyerle and
Patricia Ip and
Bernd Krieg-Brückner Source-to-source translation: Ada to
Pascal and Pascal to Ada . . . . . . . . 183--193
Robert B. K. Dewar and
Gerald A. Fisher, Jr. and
Edmond Schonberg and
Robert Froehlich and
Stephen Bryant and
Clinton F. Goss and
Michael Burke The NYU Ada translator and interpreter 194--201
F. C. Belz and
E. K. Blum and
D. Heimbigner A multi-processing
implementation-oriented formal
definition of Ada in SEMANOL . . . . . . 202--212
Hans Henrik Lòvengreen and
Dines Bjòrner On a formal model of the tasking concept
in Ada . . . . . . . . . . . . . . . . . 213--222
L. J. Groves and
W. J. Rogers The design of a virtual machine for Ada 223--234
Judy M. Bishop Effective machine descriptors for Ada 235--242
Anonymous Compilers . . . . . . . . . . . . . . . ??
Anonymous Execution models and architecture . . . ??
Anonymous Style . . . . . . . . . . . . . . . . . ??
Anonymous Tasking . . . . . . . . . . . . . . . . ??
Anonymous Transition . . . . . . . . . . . . . . . ??
Anonymous Use . . . . . . . . . . . . . . . . . . ??
L. Baxter The versatility of PROLOG . . . . . . . 15--16
J. N. Buxton An informal bibliography on programming
support environments . . . . . . . . . . 17--30
J. Craig Cleaveland Mathematical Specifications . . . . . . 31--42
LeRoy Johnson do considered reflectively: a
contribution to group programming . . . 43--43
LeRoy Johnson \underlinedo considered
\underlineobviously \underlineodd in
three dimensions . . . . . . . . . . . . 44--44
Karl L. Pentzlin A syntax for character and string
constants supplying user-defined
character codes . . . . . . . . . . . . 45--52
Arthur Sale Counterview in favour of strict type
compatibility (Pascal) . . . . . . . . . 53--55
P. L. J. Siero APL and Algol68, the correspondence and
the differences, especially in
applications of graph-analysis . . . . . 56--61
Jan Stroet An alternative to the communication
primitives in ADA . . . . . . . . . . . 62--74
Anthony G. Sumpter and
Gerry E. Quick Concurrency specification in high level
languages . . . . . . . . . . . . . . . 75--81
Nora M. Taylor Protection of proprietary software . . . 82--84
Jonathan S. Tutleman Handling large, complex and variable
job-control streams using a procedure
invocation package (`PIP') and a
pseudo-library . . . . . . . . . . . . . 85--91
Neal R. Wagner A FORTRAN preprocessor for the large
program environment . . . . . . . . . . 92--103
John Mylopoulos An overview of Knowledge Representation 5--12
Anonymous Tutorial on artificial intelligence
research . . . . . . . . . . . . . . . . 13--18
Dennis McLeod and
John Miles Smith Abstraction in databases . . . . . . . . 19--25
Anonymous Tutorial on database research . . . . . 26--28
Lawrence A. Rowe Data abstraction from a programming
language viewpoint . . . . . . . . . . . 29--35
Anonymous Tutorial on programming language
research . . . . . . . . . . . . . . . . 36--39
Anonymous What should be modelled? . . . . . . . . 40--42
Anonymous Types . . . . . . . . . . . . . . . . . 43--52
Anonymous Behaviour . . . . . . . . . . . . . . . 53--61
Anonymous Presentation . . . . . . . . . . . . . . 62--71
Anonymous Consistency of models . . . . . . . . . 72--76
Anonymous Relationships between and among models 77--82
Anonymous Application of modelling techniques . . 83--87
Anonymous Workshop Summary . . . . . . . . . . . . 88--90
Antonio Albano and
Renzo Orsini An interactive integrated system to
design and use data bases . . . . . . . 91--93
Tore Amble Integration of data base design in
programming languages . . . . . . . . . 94--94
Robert M. Balzer Dynamic system specification . . . . . . 95--97
Alexander T. Borgida and
Sol Greenspan Data and activities: Exploiting
hierarchies of classes . . . . . . . . . 98--100
Michael L. Brodie Data abstraction for designing
database-intensive applications . . . . 101--103
Peter Buneman and
Ira Winston The use of data type information in an
interactive database environment . . . . 104--106
Jaime G. Carbonell Default reasoning and inheritance
mechanisms on type hierarchies . . . . . 107--109
R. G. G. Cattell Integrating a database system and
programming /information environment . . 110--111
E. F. Codd Data models in database management . . . 112--114
Flaviu Cristian On the specification of behavioural
constraints . . . . . . . . . . . . . . 115--117
L. Peter Deutsch Constraints: a uniform model for data
and control . . . . . . . . . . . . . . 118--120
Martin S. Feather Some contrasts and considerations of an
approach to modelling . . . . . . . . . 121--123
Ira Goldstein Integrating a network-structured
database into an object-oriented
programming language . . . . . . . . . . 124--125
W. Terry Hardgrave and
Donald R. Deutsch Processing data model abstractions . . . 126--127
Patrick J. Hayes and
Gary G. Hendrix A logical view of types . . . . . . . . 128--130
Gary G. Hendrix Mediating the views of databases and
database users . . . . . . . . . . . . . 131--132
Peter Hitchcock Data dictionaries in open system
communication . . . . . . . . . . . . . 133--134
Randy H. Katz Heterogeneous databases and high level
abstraction . . . . . . . . . . . . . . 135--137
Jonathan J. King Modelling concepts for reasoning about
access to knowledge . . . . . . . . . . 138--140
Peter Kreps Relativism and views in a conceptual
data base model . . . . . . . . . . . . 141--143
Michel Lacroix and
Alain Pirotte Associating types with domains of
relational data bases . . . . . . . . . 144--146
B. Leavenworth A data abstraction approach to database
modelling . . . . . . . . . . . . . . . 147--149
Hector J. Levesque Incompleteness in knowledge bases . . . 150--152
Bengt Lundberg and
Janis A. Bubenko, Jr. Axiomatic information modeling . . . . . 153--154
William Mark Use of database organization in the
Consul system . . . . . . . . . . . . . 155--157
Heinrich C. Mayr Make more of data types . . . . . . . . 158--160
Dennis McLeod On conceptual database modelling . . . . 161--163
Bertrand Meyer A three-level approach to the
description of data structures, and
notational framework . . . . . . . . . . 164--166
John Mylopoulos A perspective for research on conceptual
modelling . . . . . . . . . . . . . . . 167--170
Paolo Paolini Abstract data types and Data Bases . . . 171--173
Raymond Reiter Data bases: a logical perspective . . . 174--176
Charles Rich Multiple points of view in modelling
programs . . . . . . . . . . . . . . . . 177--179
Lawrence A. Rowe Issues in the design of database
programming languages . . . . . . . . . 180--182
C. S. dos Santos and
A. L. Furtado and
J. M. V. de Castilho and
S. E. R. de Carvalho Towards constructive axiomatic
specifications . . . . . . . . . . . . . 183--185
Joachim W. Schmidt Data abstraction tools: Design,
specification and application . . . . . 186--188
Mary Shaw Abstraction, data types, and models for
software . . . . . . . . . . . . . . . . 189--191
E. H. Sibley Database management systems past and
present . . . . . . . . . . . . . . . . 192--192
John F. Sowa A conceptual schema for Knowledge-based
systems . . . . . . . . . . . . . . . . 193--195
J. W. Thatcher Data abstraction, data bases and
conceptual modelling (Position Paper) 196--197
Anthony I. Wasserman The extension of data abstraction to
database management . . . . . . . . . . 198--200
Herbert Weber Are data types universal modelling
concepts for data base systems? . . . . 201--202
Hartmut H. Wedekind Constructive Abstract Data types (CAD) 203--206
Stephen N. Zilles Types, algebras and modeling . . . . . . 207--209
David C. Bixler Los Angeles SIGSPACE/SIGSOFT/SIGPLAN
December meeting . . . . . . . . . . . . 12--12
Robert Ashworth Prettyprinting for power (FORTRAN) . . . 16--17
S. K. Bandyopadhyay A study on program level dependency of
implemented algorithms on its potential
operands . . . . . . . . . . . . . . . . 18--25
S. K. Bandyopadhyay Theoretical relationships between
potential operands and basic measurable
properties of algorithm structure . . . 26--34
Seif Haridi and
John-Olof Bauner and
Gert Svensson An implementation and empirical
evaluation of the tasking facilities in
ADA . . . . . . . . . . . . . . . . . . 35--47
G. V. Cormack An algorithm for the selection of
overloaded functions in ADA . . . . . . 48--52
Stephen C. Dewhurst An equivalence result for temporal logic 53--55
Paul Rutter Using a high level language as a cross
assembler . . . . . . . . . . . . . . . 56--58
David R. Hanson The Y programming language . . . . . . . 59--68
Douglas McLean Jones Introduction to SQURL . . . . . . . . . 69--76
David V. Moffat Enumerations in Pascal, Ada, and beyond 77--82
Patrick W. Magee Improving the COBOL CALLed and CALLing
program interface with a pre-processor
or CALL statements are harmful, but can
be controlled . . . . . . . . . . . . . 83--88
Ahmed Mahjoub Some comments on Ada as a real-time
programming language . . . . . . . . . . 89--95
Abraham Silberschatz On the synchronization mechanism of the
Ada language . . . . . . . . . . . . . . 96--103
William A. Whitaker Summary of the ADA implementor's
meeting: December 1980 . . . . . . . . . 104--109
William A. Whitaker Comments on portions of the ACM SIGPLAN
conference on the ADA programming
language not available in the
proceedings . . . . . . . . . . . . . . 110--112
William D. Young and
Donald I. Good Steelman and the verifiability of
(preliminary) ADA . . . . . . . . . . . 113--119
J. A. Zimmer A control form for complex iterations 120--131
Rodney M. Bates A PASCAL prettyprinter with a different
purpose . . . . . . . . . . . . . . . . 10--17
S. N. Cole Ada syntax cross reference . . . . . . . 18--47
Thomas M. Dailey III A procedure invocation syntax for
enhanced readability . . . . . . . . . . 48--52
A. L. Furtado and
P. A. S. Veloso Procedural specifications and
implementations for abstract data types 53--62
Warren A. Harrison and
Kenneth I. Magel A complexity measure based on nesting
level . . . . . . . . . . . . . . . . . 63--74
Bill Mengarini Macro facilities in ADA . . . . . . . . 75--81
Fernando Orejas Even more on advice on structuring
compilers and proving them correct:
changing an arrow . . . . . . . . . . . 82--84
G. Persch and
G. Winterstein and
S. Drossopoulou and
M. Dausmann An LALR (1) grammar for (revised) Ada 85--98
Anand R. Tripathi and
William D. Young and
Donald I. Good and
James C. Browne HAL/S/V: a verifiable subset for HAL/S 102--113
David R. Barach and
Frederick N. Webb The symbol table representation of types
in the PROPHET system . . . . . . . . . 17--26
J. A. Bergstra and
J. J. Ch. Meyer I/O-computable data structures . . . . . 27--32
J. A. Bergstra and
J. J. Ch. Meyer I/O-computable data structures . . . . . 27--32
Charles Crowley A finite state machine for Western Swing 33--35
Joseph R. Falcone A vector programming language . . . . . 36--50
Warren Harrison and
Kenneth Magel A topological analysis of the complexity
of computer programs with less than
three binary branches . . . . . . . . . 51--63
J. G. Hunt Bracketing programme constructs . . . . 64--67
Haim I. Kylov and
S. Nudelman Structured programs in PL/I . . . . . . 68--69
David Marca Some Pascal style guidelines . . . . . . 70--80
Hal Perkins Lazy I/O is not the answer . . . . . . . 81--88
H. Perkins Lazy I/O is not the answer . . . . . . . 81--88
Murat M. Tanik Prediction models for cyclomatic
complexity . . . . . . . . . . . . . . . 89--97
A. H. J. Sale Addition of repeat & until as identifiers 98--103
John R. Wolberg Comparing the cost of software
conversion to the cost of reprogramming 104--110
R. L. Wexelblat New books . . . . . . . . . . . . . . . 16--18
Michael L. Cook and
Mark G. Arnold A structured APL preprocessor . . . . . 22--31
Michael Levy Meeting on melpomenes --- a story used
to introduce the theory of data types 32--35
Samuel T. Redwine, Jr. A paradigm for dealing with exceptions 36--38
J. L. Remy and
P. A. S. Veloso An economical method for comparing data
type specifications . . . . . . . . . . 39--42
Masataka Sassa A poor man's realization of Recursive
Structured FORTRAN . . . . . . . . . . . 43--53
Stephen L. Stepoway and
Abraham Silberschatz An extension to the language-based
access-control mechanism of Jones and
Liskov . . . . . . . . . . . . . . . . . 54--58
A. I. Wasserman and
D. D. Sheretz and
M. L. Kersten and
van de Riet and
R. P. and
M. D. Dippe Revised report on the programming
language PLAIN . . . . . . . . . . . . . 59--80
Anonymous New books . . . . . . . . . . . . . . . ??
Steven R. Wood Z: the 95% program editor . . . . . . . 1--7
Tim Teitelbaum and
Thomas Reps and
Susan Horwitz The why and wherefore of the Cornell
Program Synthesizer . . . . . . . . . . 8--16
Christopher W. Fraser SYNTAX-directed editing of general data
structures . . . . . . . . . . . . . . . 17--21
O. Strömfors and
L. Jonesjö The implementation and experiences of a
structure-oriented text editor . . . . . 22--27
Joseph M. Morris and
Mayer D. Schwartz The design of a language-directed editor
for block-structured languages . . . . . 28--33
Michael Good Etude and the folklore of user interface
design . . . . . . . . . . . . . . . . . 34--43
Janet H. Walker The document editor: a support
environment for preparing technical
documents . . . . . . . . . . . . . . . 44--50
Thomas N. Turba Checking for spelling and typographical
errors in computer-based text . . . . . 51--60
Lorinda Cherry Computer aids for writers . . . . . . . 61--67
C. F. Goldfarb A generalized approach to document
markup . . . . . . . . . . . . . . . . . 68--73
Todd Allen and
Robert Nix and
Alan Perlis PEN: a hierarchical document editor . . 74--81
Donald D. Chamberlin and
James C. King and
Donald R. Slutz and
Stephen J. P. Todd and
Bradford W. Wade JANUS: An interactive system for
document composition . . . . . . . . . . 82--91
Brian W. Kernighan PIC: a language for typesetting graphics 92--98
C. T. Van Wyde A graphics typesetting language . . . . 97--107
Christopher J. Van Wyk A graphics typesetting language . . . . 99--107
Martin Mikelsons Prettyprinting in an interactive
programming environment . . . . . . . . 108--116
James O. Achugbue On the line breaking problem in text
formatting . . . . . . . . . . . . . . . 117--122
James Gosling A redisplay algorithm . . . . . . . . . 123--129
David R. Barach and
David H. Taenzer and
Robert E. Wells Design of the PEN video editor display
module . . . . . . . . . . . . . . . . . 130--136
Michael Hammer and
Richard Ilson and
Tim Anderson and
Edward Gilbert and
Michael Good and
Bahram Niamir and
Larry Rosentein and
Sandor Schoichet The implementation of Etude, an
integrated and interactive document
production system . . . . . . . . . . . 137--146
Richard M. Stallman EMACS: the extensible, customizable
self-documenting display editor . . . . 147--156
Brian K. Reid and
David Hanson An annotated bibliography of background
material on text manipulation . . . . . 157--160
J. A. Goguen and
J. Meseguer Completeness of many-sorted equational
logic . . . . . . . . . . . . . . . . . 24--32
Gaston H. Gonnet Coding benchmark for Utopia84 . . . . . 33--34
C. L. Hankin and
H. W. Glaser The data flow programming language
CAJOLE-an informal introduction . . . . 35--44
Wilfried Kneis Draft standard industrial real-time
FORTRAN . . . . . . . . . . . . . . . . 45--60
Kenneth Magel Regular expressions in a program
complexity metric . . . . . . . . . . . 61--65
David V. Moffat A model for Pascal-like typing . . . . . 66--74
R. H. Perrott and
D. K. Stevenson Users' experiences with the ILLIAC IV
system and its programming languages . . 75--88
Abraham Silberschatz A note on the distributed program
component cell . . . . . . . . . . . . . 89--96
R. L. Wexelblat New books: May 1981 . . . . . . . . . . 6--9
R. L. Wexelblat New books: June 1981 . . . . . . . . . . 10--13
C. Burgess and
L. James An indexed bibliography for LR grammars
and parsers . . . . . . . . . . . . . . 14--26
A. J. Payne A basis for software physics? . . . . . 27--30
Ch. Rapin and
J. Menu The Newton language . . . . . . . . . . 31--40
Bill N. Schilit A solution to the great big substitution
problem: subject modification during
pattern matching in SNOBOL4 . . . . . . 41--49
Ehud Shapiro and
Gregg Collins and
Lewis Johnson and
John Ruttenberg PASES: a programming environment for
PASCAL . . . . . . . . . . . . . . . . . 50--57
David Spector Full LR(1) parser generation . . . . . . 58--66
Peter van der Linden and
Leonard K. Nicholson Macro facilities in the Ada environment 67--68
J. F. H. Winkler Differences between preliminary and
final Ada . . . . . . . . . . . . . . . 69--81
Anonymous New books . . . . . . . . . . . . . . . ??
Rafael Bonet and
Antonio Kung and
Knut Ripken and
Robert K. Yates and
Manfred Sommer and
Jürgen Winkler Ada syntax diagrams for top-down
analysis . . . . . . . . . . . . . . . . 29--41
Grady Booch Describing software design in Ada . . . 42--47
Frank DeRemer and
Tom Penncllo and
W. M. McKeeman Ada syntax chart . . . . . . . . . . . . 48--59
Aaron H. Konstam A method for controlling parallelism in
programming languages . . . . . . . . . 60--65
P. E. Lauer Synchronization of concurrent processes
without globality assumptions . . . . . 66--80
David A. Rowland An extension to PASCAL READ and WRITE
procedures . . . . . . . . . . . . . . . 81--82
Cohen Shimon Simplicity $=$ efficiency $=$
readability: a simple INFIX to PREFIX
algorithm . . . . . . . . . . . . . . . 83--89
C. S. Wetherell Problems with the Ada reference grammar 90--104
M. Ganapathi and
C. N. Fischer Bibliography on automated retargetable
code generation . . . . . . . . . . . . 9--12
David A. Gustafson Control flow, data flow and data
independence . . . . . . . . . . . . . . 13--19
B. Maher and
D. H. Sleeman A data driven system for syntactic
transformations . . . . . . . . . . . . 50--52
James A. Malcolm Brevity and clarity in command languages 53--59
W. D. Maurer An alternate characterization of
preorder, inorder, and postorder . . . . 60--61
K. T. Narayana and
M. Clint On the formal treatment of a permutation
finding program . . . . . . . . . . . . 62--73
Richard D. Jenks and
Barry M. Trager A language for computational algebra . . 22--29
Alastair J. W. Mayer Value receiving procedures . . . . . . . 30--34
J. F. H. Winkler Differences between preliminary and
final Ada . . . . . . . . . . . . . . . 35--48
Darrel C. Ince The implementation of file structures in
some high level languages . . . . . . . 49--55
D. G. Elliott FORTRAN 77 and structured design . . . . 7--9
Alfred H. Morris, Jr. Can Ada replace FORTRAN for numerical
computation? . . . . . . . . . . . . . . 10--13
Patrick A. Fitzhorn and
Gearold R. Johnson C: toward a concise syntactic
description . . . . . . . . . . . . . . 14--21
Mordechai Ben-Ari and
Amiram Yehudai A methodology for modular use of Ada . . 22--26
Mary Van Deusen Types in RED . . . . . . . . . . . . . . 27--38
R. L. Wexelblat New books: December 1981 . . . . . . . . 4--8
J. A. Goguen and
J. Meseguer Completeness of many-sorted equational
logic . . . . . . . . . . . . . . . . . 9--17
Grady Booch Naming subprograms with clarity . . . . 18--22
Douglas F. Dixon A Pascal compiler testing facility . . . 23--26
Janusz W. Laski Application of the goal invariant to the
structuring of programs . . . . . . . . 27--36
Haim Kilov and
S. Nudelman Guidelines for writing PL/I programs . . 37--39
Alex Bykat An extension to PASCAL input-output
procedures . . . . . . . . . . . . . . . 40--41
Bjarne Stroustrup Classes: an abstract data type facility
for the C language . . . . . . . . . . . 42--51
Anonymous New books . . . . . . . . . . . . . . . ??
R. L. Wexelblat New books: February 1981 . . . . . . . . 17--19
Kuo-Chung Tai Comments on parameter passing techniques
in programming languages . . . . . . . . 24--27
Warren H. Jessop Ada packages and distributed systems . . 28--36
Rodney W. Topor A note on error recovery in recursive
descent parsers . . . . . . . . . . . . 37--40
Gary Ford and
Brian Hansche Optional, repeatable, and varying type
parameters . . . . . . . . . . . . . . . 41--48
Tim N. Roberts More on bit processing with FORTRAN . . 49--52
Mark Scott Johnson A software debugging glossary . . . . . 53--70
Anonymous New books . . . . . . . . . . . . . . . ??
Kenneth Magel A theory of small program complexity . . 37--45
Ronald Morrison The string as a simple data type . . . . 46--52
C. E. Prael PASCAL for operating software? A
critical examination . . . . . . . . . . 53--57
Norman F. Salt Defining software science counting
strategies . . . . . . . . . . . . . . . 58--67
R. S. Scowen A standard syntactic metalanguage . . . 68--73
R. S. Scowen and
Z. J. Ciechanowicz Seven sorts of programs . . . . . . . . 74--79
David Spector Minimal overhead garbage collection of
complex list structure . . . . . . . . . 80--82
Peter van den Bosch The translation of programming languages
through the use of a graph
transformation language . . . . . . . . 83--92
Peter van der Linden Ambiguity and orthogonality in Ada . . . 93--94
Justin Rattner Hardware/software cooperation in the
iAPX-32 . . . . . . . . . . . . . . . . 1--1
John Hennessy and
Norman Jouppi and
Forest Baskett and
Thomas Gross and
John Gill Hardware/software tradeoffs for
increased performance . . . . . . . . . 2--11
James W. Rymarczyk Coding guidelines for pipelined
processors . . . . . . . . . . . . . . . 12--19
Richard K. Johnsson and
John D. Wick An overview of the Mesa processor
architecture . . . . . . . . . . . . . . 20--29
Alan D. Berenbaum and
Michael W. Condry and
Priscilla M. Lu The operating system and language
support features of the BELLMACTM-32
microprocessor . . . . . . . . . . . . . 30--38
George Radin The 801 minicomputer . . . . . . . . . . 39--47
David R. Ditzel and
H. R. McLellan Register allocation for free: The C
machine stack cache . . . . . . . . . . 48--56
Samuel P. Harbison An architectural alternative to
optimizing compilers . . . . . . . . . . 57--65
Butler W. Lampson Fast procedure calls . . . . . . . . . . 66--76
Douglas W. Jones Systematic protection mechanism design 77--80
Karl Reed On a general property of memory mapping
tables . . . . . . . . . . . . . . . . . 81--86
Robert P. Cook and
Nitin Donde An experiment to improve operand
addressing . . . . . . . . . . . . . . . 87--91
Akira Fusaoka and
Masaharu Hirayama Compiler chip: a hardware implementation
of compiler . . . . . . . . . . . . . . 92--95
B. R. Rau and
C. D. Glaeser and
E. M. Greenawalt Architectural support for the efficient
generation of code for horizontal
architectures . . . . . . . . . . . . . 96--99
R. E. McLear and
D. M. Scheibelhut and
E. Tammaru Guidelines for creating a debuggable
processor . . . . . . . . . . . . . . . 100--106
M. V. Wilkes Hardware support for memory protection:
Capability implementations . . . . . . . 107--116
Fred J. Pollack and
George W. Cox and
Dan W. Hammerstrom and
Kevin C. Kahn and
Konrad K. Lai and
Justin R. Rattner Supporting Ada memory management in the
iAPX-432 . . . . . . . . . . . . . . . . 117--131
J. P. Sansonnet and
M. Castan and
C. Percebois and
D. Botella and
J. Perez Direct execution of LISP on a
list-directed architecture . . . . . . . 132--139
Mark Scott Johnson Some requirements for architectural
support of software debugging . . . . . 140--148
C. A. Middelburg The effect of the PDP-11 architecture on
code generation for chill . . . . . . . 149--157
Richard E. Sweet and
James G. Sandman, Jr. Empirical analysis of the Mesa
instruction set . . . . . . . . . . . . 158--166
Gene McDaniel An analysis of a Mesa instruction set
using dynamic instruction frequencies 167--176
Cheryl A. Wiecek A case study of VAX-11 instruction set
usage for compiler execution . . . . . . 177--184
Mamoru Maekawa and
Ken Sakamura and
Chiaki Ishikawa Firmware structure and architectural
support for monitors, vertical migration
and user microprogramming . . . . . . . 185--194
N. Kamibayashi and
H. Ogawana and
K. Nagayama and
H. Aiso Heart: An operating system nucleus
machine implemented by firmware . . . . 195--204
Sudhir R. Ahuja and
Abhaya Asthana A multi-microprocessor architecture with
hardware support for communication and
scheduling . . . . . . . . . . . . . . . 205--209
Edsger W. Dijkstra How do we tell truths that might hurt? 13--15
David R. Barach and
David H. Taenzer and
Robert E. Wells A technique for finding storage
allocation errors in C-language problems 16--23
M. Ancona and
G. Dodero and
V. Gianuzzi Building collections of LR(k) items with
partial expansion of lookahead strings 25--28
Mauro Guazzo APL finds its APLOMB . . . . . . . . . . 29--37
Morris E. Kranc A separate compilation facility for
PASCAL . . . . . . . . . . . . . . . . . 38--46
Gebhard Greiter A data type theory . . . . . . . . . . . 47--53
Breck Carter On choosing identifiers . . . . . . . . 54--59
R. C. Holt A short introduction to Concurrent
Euclid . . . . . . . . . . . . . . . . . 60--79
Nguyen the Thanh and
E. Walter Raschner Indirect threaded code used to emulate a
virtual machine . . . . . . . . . . . . 80--89
H. K. Seyfer Compiler test sets . . . . . . . . . . . 90--97
N. H. Madhavji and
I. R. Wilson Cray Pascal . . . . . . . . . . . . . . 1--14
I. M. Kipps Experience with porting techniques on a
COBOL 74 compiler . . . . . . . . . . . 15--21
Marc Auslander and
Martin Hopkins An overview of the PL.8 compiler . . . . 22--31
Susan L. Graham and
Robert R. Henry and
Robert A. Schulman An experiment in table driven code
generation . . . . . . . . . . . . . . . 32--43
Peter L. Bird An implementation of a code generator
specification language for table driven
code generators . . . . . . . . . . . . 44--55
Rudolf Landwehr and
Hans-Stephan Jansohn and
Gerhard Goos Experience with an automatic
code-generator generator . . . . . . . . 56--66
Michael Burke and
Gerald A. Fisher, Jr. A practical method for syntactic error
diagnosis and recovery . . . . . . . . . 67--78
Jon Mauney and
Charles N. Fischer A forward move algorithm for LL and LR
parsers . . . . . . . . . . . . . . . . 79--87
C. W. Johnson and
C. Runciman Semantic errors --- diagnosis and repair 88--97
G. J. Chaitin Register allocation and spilling via
graph coloring . . . . . . . . . . . . . 98--105
Anita L. Chow and
Andres Rudmik The design of a data flow analyzer . . . 106--113
Victoria Markstein and
John Cocke and
Peter Markstein Optimization of range checking . . . . . 114--119
Susan L. Graham and
Peter B. Kessler and
Marshall K. Mckusick Gprof: a call graph execution profiler 120--126
Thomas N. Turba A facility for the downward extension of
a high-level language . . . . . . . . . 127--133
Wilf R. LaLonde and
Jim des Rivieres A flexible compiler structure that
allows dynamic phase ordering . . . . . 134--139
Harlan K. Seyfer Tailoring testing to a specific compiler
--- experiences . . . . . . . . . . . . 140--152
Kai Koskimies and
Kari-Jouko Räihä and
Matti Sarjakoski Compiler construction using attribute
grammars . . . . . . . . . . . . . . . . 153--159
Rodney Farrow LINGUIST-86: Yet another translator
writing system based on attribute
grammars . . . . . . . . . . . . . . . . 160--171
Harald Ganzinger and
Robert Giegerich and
Ulrich Möncke and
Reinhard Wilhelm A truly generative semantics-directed
compiler generator . . . . . . . . . . . 172--184
David W. Krumme and
David H. Ackley A practical method for code generation
based on exhaustive search . . . . . . . 185--196
Thomas M. Morgan and
Lawrence A. Rowe Analyzing exotic instructions for a
retargetable code generator . . . . . . 197--204
John Crawford Engineering a production code generator 205--215
James Bodwin and
Laurette Bradley and
Kohji Kanda and
Diane Litle and
Uwe Pleban Experience with an experimental compiler
generator based on denotational
semantics . . . . . . . . . . . . . . . 216--229
Martin R. Raskovsky Denotational semantics as a
specification of code generators . . . . 230--244
Ravi Sethi Control flow aspects of semantics
directed compiling (Summary) . . . . . . 245--260
Rodney A. Brooks and
Richard P. Gabriel and
Guy L. Steele, Jr. An optimizing compiler for lexically
scoped LISP . . . . . . . . . . . . . . 261--275
Martin L. Griss and
Eric Benson and
Anthony C. Hearn Current status of a portable LISP
compiler . . . . . . . . . . . . . . . . 276--283
Ian W. Moor An applicative compiler for a parallel
machine . . . . . . . . . . . . . . . . 284--293
Howard Z. Marshall The Linear Graph Package, a Compiler
Building Environment . . . . . . . . . . 294--300
Andres Rudmik and
Barbara G. Moore An efficient separate compilation
strategy for very large programs . . . . 301--307
Arra Avakian and
Sam Haradhvala and
Julian Horn and
Bruce Knobe The design of an integrated support
software system . . . . . . . . . . . . 308--317
T. P. Baker A single-pass syntax-directed front end
for Ada . . . . . . . . . . . . . . . . 318--326
Terrence W. Pratt and
George D. Maydwell Experience with the formal semantic
definition of HAL/S . . . . . . . . . . 327--333
S. Drossopoulou and
J. Uhl and
G. Persch and
G. Goos and
M. Dausmann and
G. Winterstein An attribute grammar for Ada . . . . . . 334--339
Malcolm Atkinson and
Ken Chisholm and
Paul Cockshott PS-algol: an Algol with a persistent
heap . . . . . . . . . . . . . . . . . . 24--31
David R. Barach and
David H. Taenzer and
Robert E. Wells A technique for finding storage
allocation errors in C-language programs 32--38
Richard C. Waters Program editors should not abandon text
oriented commands . . . . . . . . . . . 39--46
J. C. H. Park A new LALR formalism . . . . . . . . . . 47--61
David M. Harland and
Hamish I. E. Gunn Another look at enumerated types . . . . 62--71
H. M. Gladney How to print with style . . . . . . . . 72--79
Ronald Fischer A note on goto-less programming in APL
using the unquote-operator . . . . . . . 80--87
Michael Lesk English for Decision Tables Considered
Harmful . . . . . . . . . . . . . . . . 88--88
M. D. de Jong and
C. L. Hankin Structured data flow programming . . . . 18--27
Martin McCaig Towards a novel string processing
language . . . . . . . . . . . . . . . . 28--33
Grady Early Functional programming and the two-pass
assembler . . . . . . . . . . . . . . . 34--42
David Spector Ambiguities and insecurities in Modula-2 43--51
Gregory P. Hill An improvement over deeply nested
IF-THEN-ELSE control structures . . . . 52--56
Karel Culik An advanced programming language
definition and domain correctness of
programs . . . . . . . . . . . . . . . . 57--66
Mark A. Jones A comparison of LISP specifications of
function definition and argument
handling . . . . . . . . . . . . . . . . 67--73
B. Hansche and
S. Hudson and
B. and
Huey Selected Bibliography of Compiler
Optimization Topics . . . . . . . . . . 74--83
Matti O. Jokinen The effect of parameter passing and
other implementation dependent
mechanisms is undecidable . . . . . . . 16--17
Curtis R. Cook and
R. R. Oldehoeft A Letter Oriented Minimal Perfect
Hashing Function . . . . . . . . . . . . 18--27
Roger T. Sumner and
R. E. Gleaves Modula-2 --- a solution to Pascal's
problems . . . . . . . . . . . . . . . . 28--33
Walter W. Wilson Beyond PROLOG: software specification by
grammar . . . . . . . . . . . . . . . . 34--43
Paul Piwowarski A nesting level complexity measure . . . 44--50
Tim Rentsch Object oriented programming . . . . . . 51--57
G. Greiter Remarks on language concepts for
specifying process synchronization . . . 58--61
Janusz Laski On data flow guided program testing . . 62--71
David Marca A repetition construct for UNIX Version
6 . . . . . . . . . . . . . . . . . . . 72--75
Paul David Stotts, Jr. A Comparative Survey of Concurrent
Programming Languages . . . . . . . . . 76--87
Roger G. Stone Points recurring. The history of a
railway problem . . . . . . . . . . . . 88--94
M. K. Crowe An incremental compiler . . . . . . . . 13--22
Michael J. Rees Automatic assessment aids for Pascal
programs . . . . . . . . . . . . . . . . 33--42
B. J. MacLennan A simple, natural notation for
applicative languages . . . . . . . . . 43--49
Paul David Stotts, Jr. A comparative survey of concurrent
programming languages . . . . . . . . . 50--61
H. Meijer and
A. Nijholt YABBER-yet another bibliography:
translator writing tools . . . . . . . . 62--72
F. E. J. Kruseman Aretz Syntax diagrams for ISO Pascal Standard 73--78
Paul D. Gootherts and
James W. Davis Common programming language ambiguity 7--10
Karl L. Pentzlin Syntax of comments: discussion and a
proposal . . . . . . . . . . . . . . . . 11--13
Kent Karlsson and
Kent Petersson Notes from: the Aspenäs Symposium of
Functional Languages and Computer
Architecture . . . . . . . . . . . . . . 14--22
Steven G. Duff The case for BUFFERS in SNOBOL4 . . . . 24--30
Lindsay J. Groves Using simple English sentences to call
procedures . . . . . . . . . . . . . . . 31--38
Eric B. Levy The case against Pascal as a teaching
tool . . . . . . . . . . . . . . . . . . 39--41
A. J. Payne A basis for the rate of change in
programs . . . . . . . . . . . . . . . . 42--44
Ellis Cohen Text-oriented structure commands for
structure editors . . . . . . . . . . . 45--49
Yury Litvin Parallel evolution programming language
for data flow machines . . . . . . . . . 50--58
David E. Boddy A style for structured APL . . . . . . . 27--30
R. Cailliau How to avoid getting schlonked by Pascal 31--40
Robert Paul Corbett Enhanced arithmetic for Fortran . . . . 41--48
Leo Geurts An overview of the B programming
language or B without tears . . . . . . 49--58
H. M. Gladney A note on enumerations . . . . . . . . . 59--64
David M. Harland Subtypes versus cell constancy with
subrange constraints . . . . . . . . . . 65--69
B. J. MacLennan Values and objects in programming
languages . . . . . . . . . . . . . . . 70--79
M. J. Wise EPILOG=PROLOG+data flow: Arguments for
combining PROLOG with a data driven
mechanism . . . . . . . . . . . . . . . 80--86
Michael J. Wise EPILOG = PROLOG + Data Flow: arguments
for combining PROLOG with a data driven
mechanism . . . . . . . . . . . . . . . 80--86
Joe Celko and
John S. Davis and
John Mitchell A demonstration of three requirements
language systems . . . . . . . . . . . . 9--14
Brad J. Cox The object oriented precompiler:
Programming Smalltalk 80 methods in C
language . . . . . . . . . . . . . . . . 15--22
K. Culik On formal and informal proofs for
program correctness . . . . . . . . . . 23--28
Dan R. Olsen, Jr. A subset algorithm for deterministic
FSMs within deterministic PDAs . . . . . 29--34
Uri Shani Should program editors not abandon text
oriented commands? . . . . . . . . . . . 35--41
David Spector The simplest functional programming
language . . . . . . . . . . . . . . . . 42--46
Arol Ambler and
Robert Trawick Chatin's graph coloring algorithm as a
method for assigning positions to Diana
attributes . . . . . . . . . . . . . . . 37--38
Hans W. Barz Implementing semaphores by binary
semaphores . . . . . . . . . . . . . . . 39--45
Daniel M. Berry A new methodology for generating test
cases for a programming language
compiler . . . . . . . . . . . . . . . . 46--56
F. D. Boswell and
M. J. Carmody and
T. R. Grove A string extension for Pascal . . . . . 57--61
Raphael Finkel Run-time print values . . . . . . . . . 62--64
Manfred Jackel Context sensitive formatting . . . . . . 65--68
E. M. J. C. Van Oost DUIF: a data-oriented flowchart
environment . . . . . . . . . . . . . . 69--75
Giovanni Cantone and
Aniello Cimitile and
Lucio Sansone Complexity in program schemes: the
characteristic polynomial . . . . . . . 22--31
E. H. den Hertog and
H. J. C. Gerbscheid and
M. L. Kersten DO-SELECT reconsidered . . . . . . . . . 32--35
B. J. MacLennan Overview of relational programming . . . 36--45
Desiré Vermaak PROGEN: a programming environment . . . 46--47
Richard L. Wexelblat Correction to page 27 of 1/83 issue . . 2--2
Stowe Boyd Modular C . . . . . . . . . . . . . . . 45--54
Elfriede Fehr The `simplest functional programming
language' is neither simple nor
functional . . . . . . . . . . . . . . . 55--57
Rhys S. Francis Containment defines a class of recursive
data structures . . . . . . . . . . . . 58--64
Norman Hardy Nested scopes in Pascal and Algol 68 . . 65--65
Alfred Laut An algebraic specification of Pascal's
file type . . . . . . . . . . . . . . . 66--68
David May OCCAM (language) . . . . . . . . . . . . 69--79
Karl L. Pentzlin Discussion of statement labels; proposal
of a 'transfer/junction' construct as
alternative to 'GOTO' . . . . . . . . . 80--81
F. Teixeira de Queiroz The next control structure that I need 82--85
Howard E. Tompkins In defense of teaching structured COBOL
as computer science (or, notes on being
sage struck) . . . . . . . . . . . . . . 86--94
Sergio Antoy and
Giuliana Dettori Is Pascal suitable for GKS? . . . . . . 11--14
David E. Boddy Implementing data abstractions and
monitors in UCSD PASCAL . . . . . . . . 15--24
James Harle The proposed standard for Basic . . . . 25--40
Arun Lakhotia An improvement over: ``An improvement
over deeply nested IF-THEN-ELSE control
structure'' . . . . . . . . . . . . . . 41--43
Philip Machanick A note on C. S. Wetherell's `Problems
with the Ada reference grammar' . . . . 44--45
R. A. O'Keefe PROLOG Compared with LISP? . . . . . . . 46--56
Michael Lee Scott Messages vs. remote procedures is a
false dichotomy . . . . . . . . . . . . 57--62
Mark R. Laff and
Brent Hailpern SW 2: An object-based programming
environment . . . . . . . . . . . . . . 1--11
James Purtilo Polylith: An environment to support
management of tool interfaces . . . . . 12--18
John T. O'Donnell Dialogues: a basis for constructing
programming environments . . . . . . . . 19--27
Rolf Bahlke and
Gregor Snelting The PSG --- Programming System Generator 28--33
George McArthur Beshers and
Roy Harold Campbell Maintained and constructor attributes 34--42
Alan Demers and
Anne Rogers and
Frank Kenneth Zadeck Attribute propagation by message passing 43--59
Cordelia V. Hall and
John T. O'Donnell Debugging in a side effect free
programming environment . . . . . . . . 60--68
D. Le Metayer Mechanical analysis of program
complexity . . . . . . . . . . . . . . . 69--73
R. Kent Dybvig and
Bruce T. Smith A semantic editor . . . . . . . . . . . 74--82
Mark B. Wells and
Margaret A. Hug and
Rollo Silver Libraries as programs preserved within
compiler continuations . . . . . . . . . 83--91
Susan Horwitz and
Tim Teitelbaum Relations and attributes: a symbiotic
basis for editing environments . . . . . 93--106
Keith D. Cooper and
Ken Kennedy and
Linda Torczon The impact of interprocedural analysis
and optimization on the design of a
software development environment . . . . 107--116
Snorri Agnarsson and
M. S. Krishnamoorthy Towards a theory of packages . . . . . . 117--130
David Gries and
Jan Prins A new notion of encapsulation . . . . . 131--139
Michael Caplinger Structured Editor Support for Modularity
and Data Abstraction . . . . . . . . . . 140--147
Mark Moriconi and
Dwight F. Hare PegaSys: a system for graphical
explanation of program designs . . . . . 148--160
Bent Bruun Kristensen and
Ole Lehrmann Madsen and
Birger Mòller-Pedersen and
Kristen Nygaard An algebra for program fragments . . . . 161--170
Nissim Francez and
Shalom Goldenberg and
Ron Y. Pinter and
Michael Tiomkin and
Shalom Tsur An environment for logic programming . . 179--190
Henryk Jan Komorowski and
Shigeo Omori A model and an implementation of a logic
programming environment . . . . . . . . 191--198
Bruce J. MacLennan A simple software environment based on
objects and relations . . . . . . . . . 199--207
Stephen Fickas Design issues in a Rule-Based System . . 208--215
Richard E. Sweet The Mesa programming environment . . . . 216--229
Daniel C. Swinehart and
Polle T. Zellweger and
Robert B. Hagmann The structure of Cedar . . . . . . . . . 230--244
James Donahue Integration mechanisms in Cedar . . . . 245--251
B. W. Lampson and
E. E. Schmidt Organizing software in a distributed
environment . . . . . . . . . . . . . . 1--13
M. L. Powell and
M. A. Linton Visual abstraction in an interactive
programming environment . . . . . . . . 14--21
U. Honschopp and
W.-M. Lippe and
F. Simon Compiling functional languages for von
Neumann machines . . . . . . . . . . . . 22--27
R. Farrow Attribute grammars and data-flow
languages . . . . . . . . . . . . . . . 28--40
J. Heinanen A programmer controlled approach to data
and control abstraction . . . . . . . . 41--52
W. Weihl and
B. Liskov Specification and implementation of
resilient, atomic data types . . . . . . 53--64
T. J. LeBlanc and
R. P. Cook An analysis of language models for
high-performance communication in
local-area networks . . . . . . . . . . 65--72
R. E. Strom and
S. Yemini NIL: an integrated language and system
for distributed programming . . . . . . 73--82
J. W. Schmidt and
M. Mall Abstraction mechanisms for database
programming . . . . . . . . . . . . . . 83--93
D. Ridjanovic and
M. L. Brodie Action and transaction skeletons: high
level language constructs for database
transactions . . . . . . . . . . . . . . 94--99
M. Shaw and
E. Borison and
M. Horowitz and
T. Lane and
D. Nichols and
R. Pausch Descartes: a programming-language
approach to interactive display
interfaces . . . . . . . . . . . . . . . 100--111
D. R. Olsen, Jr. and
E. P. Dempsey Syntax directed graphical interaction 112--117
M. Pilote A programming language framework for
designing user interfaces . . . . . . . 118--136
H. L. Ossher and
B. K. Reid Fable: a programming-language solution
to IC process automation problems . . . 137--148
S. W. Smoliar and
D. Barstow Who needs languages, and why do they
need them? or No matter how high the
level, it's still programming . . . . . 149--157
M. D. Donner The design of OWL, a language for
walking . . . . . . . . . . . . . . . . 158--165
R. Zippel Capsules (programming) . . . . . . . . . 166--169
G. S. Novak, Jr. Data abstraction in GLISP . . . . . . . 170--177
Robert Hood Efficient abstractions for the
implementation of structured editors . . 171--178
A. Albano Type hierarchies and semantic data
models . . . . . . . . . . . . . . . . . 178--186
G. V. Cormack Extensions to static scoping . . . . . . 187--191
Isabel Gouveia Lima and
Richard Hopkins and
Lindsay Marshall and
David Mundy and
Philip Treleaven Decentralised control flow --- BASed on
unIX BASIX . . . . . . . . . . . . . . . 192--201
J. Shultis A functional shell . . . . . . . . . . . 202--211
C. W. Fraser and
D. R. Hanson A high-level programming and command
language . . . . . . . . . . . . . . . . 212--219
J. Calmet and
R.-M. di Scala Pascal as host language of computer
algebra systems . . . . . . . . . . . . 15--24
Harry Feldmann Acceptive grammars . . . . . . . . . . . 25--44
Gebh Greiter Comparing two definitions for the notion
`data type' . . . . . . . . . . . . . . 45--49
Kurt Guntheroth The new ANSI BASIC standard . . . . . . 50--59
Steven Gutfreund Tracing offensive values from exceptions 60--61
Edward G. Nilges On bugs and swarms: towards a
sociobiology of programming? . . . . . . 62--64
Ikuo Takeuchi and
Hiroshi Okuno and
Nobuyasu Ohsato TAO: a harmonic mean of Lisp, Prolog and
Smalltalk . . . . . . . . . . . . . . . 65--74
John R. Thompson The use and abuse of formal proofs . . . 75--79
Wayne C. Gramlich Debugging methodology: session summary 1--3
Wayne C. Gramlich Session Summary --- Debugging
Methodology . . . . . . . . . . . . . . 1--3
Dick Hamlet Debugging `Level': step-wise debugging 4--8
Rich Seidner and
Nick Tindall Interactive debug requirements . . . . . 9--22
Mark A. Linton and
Robert Balzer and
R. J. Cunningham and
Cordell Green and
Robert Sedlmeyer and
Elliott Solloway and
William Swartout and
Pamela Zave Knowledge-based debugging: session
summary . . . . . . . . . . . . . . . . 23--24
Robert L. Sedlmeyer and
William B. Thompson and
Paul E. Johnson Knowledge-based fault localization in
debugging: preliminary draft . . . . . . 25--31
Peter Bates Requirements/design debugging: session
summary . . . . . . . . . . . . . . . . 32--33
Bernd Bruegge and
Peter Hibbard Generalized path expressions: a high
level debugging mechanism . . . . . . . 34--44
Lori A. Clarke and
Debra J. Richardson The application of error-sensitive
testing strategies to debugging . . . . 45--52
C. Jard and
G. von Bochmann An approach to testing specifications 53--59
Insup Lee Integrated environments . . . . . . . . 60--62
Zen Kishimoto An experimental debugger in a limited
programming environment . . . . . . . . 63--66
Michael L. Powell and
Mark A. Linton A database model of debugging . . . . . 67--70
Martin Mikelsons Interactive program execution in
Lispedit . . . . . . . . . . . . . . . . 71--80
Monika A. F. Müllerburg The role of debugging within software
engineering environments . . . . . . . . 81--90
Harald Wertz An integrated Lisp programming
environment . . . . . . . . . . . . . . 91--95
Thomas Gross Distributed debugging: session summary 96--97
Thomas Gross Session Summary --- Distributed
Debugging . . . . . . . . . . . . . . . 96--97
F. Baiardi and
N. De Francesco and
E. Matteoli and
S. Stefanini and
G. Vaglini Development of a debugger for a
concurrent language . . . . . . . . . . 98--106
Peter Bates and
Jack C. Wileden An approach to high-level debugging of
distributed systems: preliminary draft 107--111
Janice Cynthia Weber Interactive debugging of concurrent
programs . . . . . . . . . . . . . . . . 112--113
Janice Cynthia Weber Implementation issues: session summary 114--116
Michael S. Kenniston Implementation issues II . . . . . . . . 117--120
Knut Barra and
Hans Petter Dahle SIMOB: a portable toolbox for
observation of Simula executions . . . . 121--122
Jeanne Ferrante High level language debugging with a
compiler . . . . . . . . . . . . . . . . 123--129
Peter Fritzson A systematic approach to advanced
debugging through incremental
compilation . . . . . . . . . . . . . . 130--139
W. Morven Gentleman and
Henry Hoeksma Hardware assisted high level debugging:
preliminary draft . . . . . . . . . . . 140--144
Charles R. Hill A real-time microprocessor debugging
technique . . . . . . . . . . . . . . . 145--148
John D. Johnson and
Gary W. Kenney Implementation issues for a source level
symbolic debugger . . . . . . . . . . . 149--151
Karl J. Ottenstein and
Linda M. Ottenstein High-level debugging assistance via
optimizing compiler technology . . . . . 152--154
Ron Tischler and
Robin Schaufler and
Charlotte Payne Static analysis of programs as an aid to
debugging . . . . . . . . . . . . . . . 155--158
Polle T. Zellweger An interactive high-level debugger for
control-flow optimized programs . . . . 159--172
Bert Beander VAX DEBUG: an interactive, symbolic,
multilingual debugger . . . . . . . . . 173--179
James R. Cardell Multilingual debugging with the SWAT
high-level debugger . . . . . . . . . . 180--189
T. A. Cargill The Blit debugger (Preliminary Draft) 190--200
Thomas A. Cargill The Blit debugger: preliminary draft . . 190--200
Robert P. Cook and
Insup Lee DYMOS: a dynamic modification system . . 201--202
Carol K. Walter DELTA: the Universal Debugger for CP-6 203--205
Mark Scott Johnson Summary of evaluation and comments . . . 206--206
Rommert J. Casimir Collections of variables . . . . . . . . 26--30
Darrel C. Ince A compatibility software tool for use
with separately compiled languages . . . 31--34
Fahimeh Jalili A general linear-time evaluator for
attribute grammars . . . . . . . . . . . 35--44
B. A. E. Meekings Style analysis of Pascal programs . . . 45--54
Huub Mulders Some observations on the in- and output
in high-level languages . . . . . . . . 55--58
David Spector Language features to support reusability 59--61
Jacques J. Tamine On the use of tree-like structures to
simplify measures of complexity . . . . 62--69
C. K. Yuen The programmer as navigator: a discourse
on program structure . . . . . . . . . . 70--78
K. S. Bhaskar How object-oriented is your system? . . 8--11
J. van Katwijk A preprocessor for YACC or a poor man's
approach to parsing attributed grammars 12--15
Edward Reid Fighting the disease: more comments
after Dijkstra and Tompkins . . . . . . 16--21
E. Reid More comments after Dijkstra and
Tompkins . . . . . . . . . . . . . . . . 16--21
Michael H. Rosenbloom Deeply nested \tt IF-THEN-ELSE's . . . . 22--24
David Spector Lexing and parsing Modula-2 . . . . . . 25--32
David Taylor An improvement to the `if-then-else' and
`select' clauses, and some comments on
Arun Lakhotias' an improvement over
\ldots . . . . . . . . . . . . . . . . . 33--37
R. D. Tennent An alternative to conformant-array
parameters in Pascal . . . . . . . . . . 38--43
Joseph B. Weinman, Jr. Nestable bracketed comments . . . . . . 44--47
F. C. Chow and
M. Ganapathi Intermediate Languages in Compiler
Construction--A Bibliography . . . . . . 21--23
A. Burns Enhanced input/output on Pascal . . . . 24--33
S. Ceri and
S. Crespi-Reghizzi Relational data bases in the design of
program construction systems . . . . . . 34--44
Jason Gait Command level software tools . . . . . . 45--53
Rainer Woitok Abstracting linked data structures using
incremental records . . . . . . . . . . 54--63
E. J. Brown On the application of Rothon diagrams to
data abstraction . . . . . . . . . . . . 17--24
James R. Comer An experimental natural-language
processor for generating data type
specifications . . . . . . . . . . . . . 25--33
Joëlle Despeyroux An algebraic specification of a Pascal
compiler . . . . . . . . . . . . . . . . 34--48
Harley Flanders Coroutines in Pascal . . . . . . . . . . 49--56
W. M. Evangelist Relationships among computational,
software, and intuitive complexity . . . 57--59
Josef Grosch Type derivation graphs: a way to
visualize the type building
possibilities of programming languages 60--68
Leon S. Levy A walk through AWK . . . . . . . . . . . 69--85
B. J. MacLennan Abstraction in the Intel iAPX-432
prototype systems implementation
language . . . . . . . . . . . . . . . . 86--95
Gary Merrill Proofs, program correctness, and
software engineering . . . . . . . . . . 96--105
P. S. Newman \tt IF-THEN-ELSE, again . . . . . . . . 106--111
Olle Olsson The memory usage of a LISP system: the
Belady life-time function . . . . . . . 112--119
B. Srinivasan Is nested control structure more
complex? . . . . . . . . . . . . . . . . 120--121
R. Michael Wharton A note on types and prototypes . . . . . 122--126
Miren Begona Albizuri-Romero A graphical abstract programming
language . . . . . . . . . . . . . . . . 14--23
Neta Amit A different solution for improving the
readability of deeply nested
IF-THEN-ELSE control structure . . . . . 24--30
A. Toni Cohen Data abstraction, data encapsulation and
object-oriented programming . . . . . . 31--35
Dirk Craeynest and
Geert Vansteenkiste and
Johan Lewi Construction of an ELL(1) syntax
analyser for Ada with the
compiler-generator LILA . . . . . . . . 36--45
R. B. Hunter A system for writing Pascal programs
interactively . . . . . . . . . . . . . 46--56
Raghavendra Rao Loka A note on parallel parsing . . . . . . . 57--59
Luca Majocchi and
Luca Rodda and
Giacomo R. Sechi A technique to obtain effective locality
of computation in FORTRAN IV . . . . . . 60--62
Lawrence M. Ruane Abstract data types in assembly language
programming . . . . . . . . . . . . . . 63--67
David Taylor A portable pseudo-code for Pascal-like
languages . . . . . . . . . . . . . . . 68--77
J. van Katwijk and
J. van Someren The doublet model: run-time model and
implementation of Ada types . . . . . . 78--92
C. K. Yuen Further comments on the premature loop
exit problem . . . . . . . . . . . . . . 93--94
W. Harrison Software complexity metrics: a
bibliography and category index . . . . 17--27
Miren Begona Albizuri-Romero GRASE: a graphical syntax-directed
editor for structured programming . . . 28--37
David E. Boddy On the design of monitors with priority
conditions . . . . . . . . . . . . . . . 38--46
D. J. Cooke and
M. H. J. Al-Noufaly The programming language MINO and its
formal definition . . . . . . . . . . . 47--57
Harry Feldmann An acceptive grammar for the natural
language English . . . . . . . . . . . . 58--67
D. C. Ince The provision of procedural and
functional interfaces for the
maintenance of program design language
and program language notations . . . . . 68--74
Gary T. Leavens Prettyprinting styles for various
languages . . . . . . . . . . . . . . . 75--79
Herbert Mayer and
Don Perkins Towers of Hanoi revisited. A
nonrecursive surprise . . . . . . . . . 80--84
Ana M. de A. Price Defining dynamic variables and abstract
data types in Pascal . . . . . . . . . . 85--91
J. Steensgaard-Madsen and
L. M. Olsen Definition of the programming language
MODEF . . . . . . . . . . . . . . . . . 92--110
Mukul Babu Agrawal and
Vijay Kumar Garg Dimensional analysis in Pascal . . . . . 7--11
Stowe Boyd Free and bound generics: two techniques
for abstract data types in Modular C . . 12--20
Edward Bulman What is programming really all about? 21--23
John L. Callaghan A software implemented memory manager 24--31
Don Faust Run-time declaration elaboration . . . . 32--38
Vijay Kumar Garg Screen-oriented highlevel debugger (SHD)
for Pascal . . . . . . . . . . . . . . . 39--41
Klaus Groening ``Combined actions to reduce LR-parser
tables'': (experimental results) . . . . 42--45
Wolfgang Hoyer Some remarks on records with variants 46--50
Francis C. M. Lau and
Atul Asthana Yet another history mechanism for
command interpreters . . . . . . . . . . 51--56
Salvatore Mamone Error free code. Is it attainable? . . . 57--60
John R. Pugh Actors: the stage is set . . . . . . . . 61--65
Richard S. Wiener A generic sorting module in Modula-2 . . 66--72
Richard Wingerter A note on determining the complexity of
algorithms . . . . . . . . . . . . . . . 73--78
David B. Benepe, Jr. In defense of simplicity of comment
syntax (in programming languages) . . . 32--33
Bill McMullen Structured decision tables . . . . . . . 34--43
Henry C. Thacher, Jr. On the elimination of pointer variables
and dynamic allocation in higher level
languages . . . . . . . . . . . . . . . 44--46
Marvin V. Zelkowitz A small contribution to editing with a
syntax directed editor . . . . . . . . . 1--6
J. R. Horgan and
D. J. Moore Techniques for improving language-based
editors . . . . . . . . . . . . . . . . 7--14
Alessandro Giacalone and
Martin C. Rinard and
Thomas W. Doeppner, Jr. IDEOSY: An Ideographic and Interactive
Program Description System . . . . . . . 15--20
C. N. Fischer and
Gregory F. Johnson and
Jon Mauney and
Anil Pal and
Daniel L. Stock The Poe language-based editor project 21--29
Steven P. Reiss Graphical program development with PECAN
program development systems . . . . . . 30--41
Thomas Reps and
Tim Teitelbaum The Synthesizer Generator . . . . . . . 42--48
Norman M. Delisle and
David E. Menicosy and
Mayer D. Schwartz Viewing a programming environment as a
single tool . . . . . . . . . . . . . . 49--56
Thomas A. Standish and
Richard N. Taylor Arcturus: a prototype advanced Ada
programming environment . . . . . . . . 57--64
David B. Garlan and
Philip L. Miller GNOME: An introductory programming
environment based on a family of
structure editors . . . . . . . . . . . 65--72
Roy H. Campbell and
Peter A. Kirslis The SAGA project: a system for software
development . . . . . . . . . . . . . . 73--80
M. Chesi and
E. Dameri and
M. P. Franceschi and
M. G. Gatti and
C. Simonelli ISDE: An Interactive Software
Development Environment . . . . . . . . 81--88
N. Minsky and
A. Borgida The Darwin software-evolution
environment . . . . . . . . . . . . . . 89--95
John DeTreville Phoan: An intelligent system for
distributed control synthesis . . . . . 96--103
David B. Leblang and
Robert P. Chase, Jr. Computer-Aided Software Engineering in a
distributed workstation environment . . 104--112
Peter Fritzson Preliminary experience from the DICE
system a distributed incremental
compiling environment . . . . . . . . . 113--123
Richard Snodgrass Monitoring in a Software Development
Environment: a Relational Approach . . . 124--131
Mark A. Linton Implementing relational views of
programs . . . . . . . . . . . . . . . . 132--140
V. Donzeau-Gouge and
G. Kahn and
B. Lang and
B. Mél\`ese Document structure and modularity in
Mentor . . . . . . . . . . . . . . . . . 141--148
J. Estublier and
S. Ghoul and
S. Krakowiak Preliminary experience with a
configuration control system for modular
programs . . . . . . . . . . . . . . . . 149--156
David Ungar Generation Scavenging: a non-disruptive
high performance storage reclamation
algorithm . . . . . . . . . . . . . . . 157--167
Jeffrey Scott Vitter US&R: a new framework for redoing
(Extended Abstract) . . . . . . . . . . 168--176
Karl J. Ottenstein and
Linda M. Ottenstein The program dependence graph in a
software development environment . . . . 177--184
Richard P. Gabriel and
Martin E. Frost A programming environment for a
timeshared system . . . . . . . . . . . 185--192
Elliot Soloway A cognitively-based methodology for
designing
languages/environments/methodologies . . 193--196
Michael Karr Code generation by coagulation . . . . . 1--12
Philippe Aigrain and
Susan L. Graham and
Robert R. Henry and
Marshall Kirk McKusick and
Eduardo Pelegri-Llopart Experience with a Graham-Glanville style
code generator . . . . . . . . . . . . . 13--24
Thomas W. Christopher and
Philip J. Hatcher and
Ronald C. Kukuk Using dynamic programming to generate
optimized code in a Graham-Glanville
style code generator . . . . . . . . . . 25--36
Joseph A. Fisher and
John R. Ellis and
John C. Ruttenberg and
Alexandru Nicolau Parallel processing: a smart compiler
and a dumb machine . . . . . . . . . . . 37--47
Roy F. Touzeau A Fortran compiler for the FPS-164
scientific computer . . . . . . . . . . 48--57
Thomas Johnsson Efficient compilation of lazy evaluation 58--69
Rodney Farrow Sub-protocol-evaluators for attribute
grammars . . . . . . . . . . . . . . . . 70--80
Martin Jourdan Strongly non-circular attribute grammars
and their recursive evaluation . . . . . 81--93
Uwe F. Pleban Compiler prototyping using formal
semantics . . . . . . . . . . . . . . . 94--105
Robert R. Kessler Peep: an architectural description
driven peephole optimizer . . . . . . . 106--110
Jack W. Davidson and
Christopher W. Fraser Automatic Generation of Peephole
Optimizations . . . . . . . . . . . . . 111--116
C. W. Fraser Automatic generation of peephole
optimizations . . . . . . . . . . . . . 111--116
Christopher W. Fraser and
Eugene W. Myers and
Alan L. Wendt Analyzing and compressing assembly code 117--121
Mayer D. Schwartz and
Norman M. Delisle and
Vimal S. Begwani Incremental compilation in Magpie . . . 122--131
Frank Kenneth Zadeck Incremental data flow analysis in a
structured program editor . . . . . . . 132--143
Steven P. Reiss An approach to incremental compilation 144--156
Harald Ganzinger and
Robert Giegerich Attribute coupled grammars . . . . . . . 157--170
Richard K. Jullig and
Frank DeRemer Regular right-part attribute grammars 171--178
Kai Koskimies A specification language for one-pass
semantic analysis . . . . . . . . . . . 179--189
S. E. Keller and
J. A. Perkins and
T. F. Payton and
S. P. Mardinly Tree transformation techniques and
experiences . . . . . . . . . . . . . . 190--201
Uwe Schmidt and
Reinhard Völler A multi-language compiler system with
automatically generated code generators 202--212
Mitchell Wand A semantic prototyping system . . . . . 213--221
Frederick Chow and
John Hennessy Register allocation by priority-based
coloring . . . . . . . . . . . . . . . . 222--232
John R. Allen and
Ken Kennedy Automatic loop interchange . . . . . . . 233--246
Keith D. Cooper and
Ken Kennedy Efficient computation of flow
insensitive interprocedural summary
information . . . . . . . . . . . . . . 247--258
M. I. Blower An efficient implementation of
visibility in Ada . . . . . . . . . . . 259--265
M. Donald MacLaren Inline routines in VAXELN Pascal . . . . 266--275
Gary Bray Sharing code among instances of Ada
generics . . . . . . . . . . . . . . . . 276--284
Michael R. Levy Type checking, separate compilation and
reusability . . . . . . . . . . . . . . 285--289
F. Baiardi and
L. Ricci and
M. Vanneschi Static checking of interprocess
communication in ECSP . . . . . . . . . 290--299
David C. Robbins Engineering a high-capacity Pascal
compiler for high performance . . . . . 300--309
Michael L. Powell A portable optimizing compiler for
Modula-2 . . . . . . . . . . . . . . . . 310--318
I. B. Elliot The EPN and ESN notations . . . . . . . 9--17
Irving B. Elliott The EPN and ESN notations . . . . . . . 9--17
H. Kao and
T. Y. Chen Data flow analysis for Cobol . . . . . . 18--21
Raghavendra Rao Loka A note on parallel parsing . . . . . . . 22--24
Karl J. Ottenstein Intermediate program representations in
compiler construction: a supplemental
bibliography . . . . . . . . . . . . . . 25--27
Anonymous Foreword to the candidate extension
library . . . . . . . . . . . . . . . . 28--44
Anonymous Pascal: forward to the candidate
extension library . . . . . . . . . . . 28--44
Anonymous Foreword to work in progress . . . . . . 45--64
Anonymous Pascal: foreword to work in progress . . 45--64
J. F. H. Winkler Some improvements of ISO-Pascal . . . . 65--78
G. T. Leavens Bibliography on data types . . . . . . . 41--50
Lawrence A. Rowe and
Peter Deutsch and
Stu Feldman and
Butler Lampson and
Barbara Liskov and
Terry Winograd Programming language issues for the
1980's: SIGPLAN '83: Symposium on
Programming Languages Issues in Software
Systems . . . . . . . . . . . . . . . . 51--61
Roger R. Baldwin The backward-directed \tt GO TO in
FORTRAN . . . . . . . . . . . . . . . . 62--64
H. L. Berghel and
D. L. Sallach Measurements of program similarity in
identical task environments . . . . . . 65--76
Joseph D. Brownsmith and
Leslie H. Oliver Optimizing loops in programs compiled
with the IBM PL/I optimizing compiler 77--84
Michael A. Covington A pedagogical disadvantage of repeat and
while . . . . . . . . . . . . . . . . . 85--86
Wm. Randolph Franklin A simpler iterative solution to the
Towers of Hanoi problem . . . . . . . . 87--88
D. C. Ince Module Interconnection Languages and
Prolog . . . . . . . . . . . . . . . . . 89--93
Yves Noyelle String-handling facilities of the LSE
language . . . . . . . . . . . . . . . . 94--103
Scott A. Smolka Report on the 6th International
Symposium on Programming . . . . . . . . 104--105
Andrew S. Tanenbaum and
Ed Keizer and
Hans van Staveren Does anybody out there want to write
HALF of a compiler? . . . . . . . . . . 106--108
Mark Woodman A Program Design Language for software
engineering . . . . . . . . . . . . . . 109--118
Kenneth M. Zemrowski Differences between ANS and ISO
standards for Pascal: ambiguities
clarified . . . . . . . . . . . . . . . 119--126
D. Q. M. Fay Experiences using Inmos proto-OCCAM (TM) 5--11
A. L. Furtado Generalized set comparison . . . . . . . 12--15
Herbert Mayer Experiences porting Pascal source from a
micro computer to a Vax . . . . . . . . 16--20
Jaroslaw Milewski Loslan implementation of the AMPL
message-passing system . . . . . . . . . 21--29
Sakti Pramanik and
Bernhard Weinberg The implementation kit with monitors . . 30--33
Manfred Stadel Another nonrecursive algorithm for the
Towers of Hanoi . . . . . . . . . . . . 34--36
J. van Katwijk Practical Experiences with Automatic
Repair of Syntactical Errors, or,
Syntactical Error Repair in the DAS
Compiler . . . . . . . . . . . . . . . . 37--48
J. F. H. Winkler Some improvements of ISO-Pascal . . . . 49--62
Jason Gait Semaphores outside the kernel . . . . . 12--21
Gebh. Greiter acce-specifications: a formal method to
define data types . . . . . . . . . . . 22--31
Hausi A. Muller Differences between Modula-2 and Pascal 32--39
H. Richards An Overview of ARC SASL . . . . . . . . 40--45
David O. Williams Structured transfer of control . . . . . 46--51
David O. Williams Alternate RETURNs . . . . . . . . . . . 52--57
H. Zedan A note on deadlock-free proofs of
network of processes . . . . . . . . . . 58--62
Karl Ludwig Pentzlin An extension proposal for Pascal:
simplifying assignments like ``a := a +
1;'' by a ``pronoun character'' . . . . 17--17
Linda Rising A syntax-directed editor, world-builder
and simulator for the language of KAREL
the robot . . . . . . . . . . . . . . . 18--21
David Rosenthal A proposed modification to the absolute
coordinates of Logo . . . . . . . . . . 22--22
D. A. Sewry Modula-2 process facilities . . . . . . 23--32
D. A. Sewry Modula-2 and the monitor concept . . . . 33--41
Thomas N. Turba An exception-based mechanism for
syntactic error recovery . . . . . . . . 42--51
Robert R. Van Tuyl On evolution of FORTRAN . . . . . . . . 52--55
ShouHan Wang Some questions about ``On the
Elimination of Pointer Variables and
Dynamic Allocation in Higher Level
Languages'' . . . . . . . . . . . . . . 56--58
David Zethmayr CUL-de-SAC and dramatic EXIT for use in
structured languages . . . . . . . . . . 59--62
L. Anselmi A new programming language: GALILEI . . 12--26
Lem O. Ejiogu OPUS #16G software structure: its
characteristic polynomials . . . . . . . 27--34
Dennis P. Geller Programming and writing . . . . . . . . 35--37
Bertrand Meyer A note on iterative Hanoi . . . . . . . 38--40
David V. Moffat Some concerns about Modula-2 . . . . . . 41--47
David Taylor An alternative to current looping syntax 48--53
Mladen A. Vouk On the cost of mixed language
programming . . . . . . . . . . . . . . 54--60
Mark B. Wells and
Margaret A. Hug and
Roland Silver and
John Brockmeyer Modcap reference manual . . . . . . . . 61--79
Graham Birtwistle The coroutines of Hanoi . . . . . . . . 9--10
Pierre Breguet and
François Grize and
Alfred Strohmeier SARTEX. A programming language for graph
processing . . . . . . . . . . . . . . . 11--19
Michael A. Covington Eliminating unwanted loops in Prolog . . 20--26
Charles Hammons and
Paul Dobbs Multilevel files for software
development . . . . . . . . . . . . . . 27--30
Ralph E. Griswold Rebus --- a SNOBOL4/Icon hybrid . . . . 7--16
G. Brun and
A. Businger and
R. Schoenberger The Token-Oriented Approach to Program
Editing . . . . . . . . . . . . . . . . 17--20
Ian D. Cottam Extending Pascal with
one-entry/multi-exit procedures . . . . 21--31
Peter C. J. Graham Using BINS for inter-process
communication . . . . . . . . . . . . . 32--41
Warren Harrison and
Curtis Cook A method of sharing industrial software
complexity data . . . . . . . . . . . . 42--51
Warren Harrison and
Curtis Cook Software complexity research: a survey 52--53
Jerrold Heyman Software conversion: retargeting from a
super-mini to a micro . . . . . . . . . 54--57
Lambert Meertens and
Steven Pemberton Description of B . . . . . . . . . . . . 58--76
Ludovít Molnár and
Pavol Návrat and
Ji\vrí \vSafa\vrík The programming language Pascal (in
teaching perspective): take it or leave
it . . . . . . . . . . . . . . . . . . . 77--79
Kalyan Dutta Modular programming in C: an approach
and an example . . . . . . . . . . . . . 9--15
Lem O. Ejiogu A simple measure of software complexity 16--31
Philip Machanick The case for simplified languages . . . 32--36
Uwe Petermann and
Andrzej Szalas A note on PCI: distributed processes
communicating by interrupts . . . . . . 37--46
A. P. Chang A note on the MODULO operation . . . . . 19--23
Harvey Glass Threaded interpretive systems and
functional programming environments . . 24--32
Jan E. Jonak Pascal and Comms programming . . . . . . 33--41
Michael F. Kilian A conditional critical region
pre-processor for C based on the Owicki
and Gries scheme . . . . . . . . . . . . 42--56
Bent Bruun Kristensen and
Ole Lehrmann Madsen and
Birger Mòller-Pedersen and
Kristen Nygaard Multi-sequential execution in the BETA
programming language . . . . . . . . . . 57--70
Salvatore Mamone Using a PC to increase your odds of
winning the lottery . . . . . . . . . . 71--79
Ivan Sklenar Programming language assessments using
the program profiles . . . . . . . . . . 80--87
Ivan Tomek and
Tomasz Muldner A CAI implementation of Pascal . . . . . 88--95
Michael R. Dunlavey A progress report on D: a compiled
language featuring continuations . . . . 8--15
Stepan Maziar Solution of the Tower of Hanoi problem
using a binary tree . . . . . . . . . . 16--20
Richard R. Ragan CYBIL: Cyber Implementation Language . . 21--30
Lidia Segre and
Michael Stanton `Some concerns about Modula-2'
considered unwarranted . . . . . . . . . 31--35
Rob Strom and
Shaula Yemini The NIL distributed systems programming
language: a status report . . . . . . . 36--44
J. Vanthienen A note on English for decision tables
considered harmful and the nested \tt
IF-THEN-ELSE . . . . . . . . . . . . . . 45--47
P. Dasiewicz A soft real-time multi-tasking BASIC
interpreter . . . . . . . . . . . . . . 10--15
K. John Gough A new method of generating LL (1)
lookahead sets . . . . . . . . . . . . . 16--19
Chingmin Jim Lo Simple patches to Modula-2 text I/O . . 20--25
R. A. O'Keefe Alternatives to keyword parameters . . . 26--32
R. A. O'Keefe Finding SmallTalk methods . . . . . . . 33--38
Michael H. Rosenbloom M'Pal: a programming language based on
natural English definitions . . . . . . 39--46
Piotr Rudnicki On the organization of Pascal blocks . . 47--55
Richard S. Wiener and
Richard F. Sincovec Two approaches to implementing generic
data structures in Modula-2 . . . . . . 56--64
Mark R. Laff and
Brent Hailpern SW 2: An object-based programming
environment . . . . . . . . . . . . . . 1--11
James Purtilo Polylith: An environment to support
management of tool interfaces . . . . . 12--18
John T. O'Donnell Dialogues: a basis for constructing
programming environments . . . . . . . . 19--27
Rolf Bahlke and
Gregor Snelting The PSG --- Programming System Generator 28--33
George McArthur Beshers and
Roy Harold Campbell Maintained and Constructor Attributes 34--42
Alan Demers and
Anne Rogers and
Frank Kenneth Zadeck Attribute Propagation by Message Passing 43--59
Cordelia V. Hall and
John T. O'Donnell Debugging in a Side Effect Free
Programming Environment . . . . . . . . 60--68
D. Le Metayer Mechanical Analysis of Program
Complexity . . . . . . . . . . . . . . . 69--73
R. Kent Dybvig and
Bruce T. Smith A semantic editor . . . . . . . . . . . 74--82
Mark B. Wells and
Margaret A. Hug and
Rollo Silver Libraries as Programs Preserved Within
Compiler Continuations . . . . . . . . . 83--92
Susan Horwitz and
Tim Teitelbaum Relations and attributes: a symbiotic
basis for editing environments . . . . . 93--106
Keith D. Cooper and
Ken Kennedy and
Linda Torczon The impact of interprocedural analysis
and optimization on the design of a
software development environment . . . . 107--116
Snorri Agnarsson and
M. S. Krishnamoorthy Towards a Theory of Packages . . . . . . 117--130
David Gries and
Jan Prins A new notion of encapsulation . . . . . 131--139
Michael Caplinger Structured Editor Support for Modularity
and Data Abstraction . . . . . . . . . . 140--147
Mark Moriconi and
Dwight F. Hare PegaSys: a system for graphical
explanation of program designs . . . . . 148--160
Bent Bruun Kristensen and
Ole Lehrmann Madsen and
Birger Mòller-Pedersen and
Kristen Nygaard An algebra for program fragments . . . . 161--170
Robert Hood Efficient Abstractions for the
Implementation of Structured Editors . . 171--178
Nissim Francez and
Shalom Goldenberg and
Ron Y. Pinter and
Michael Tiomkin and
Shalom Tsur An environment for logic programming . . 179--190
Henryk Jan Komorowski and
Shigeo Omori A model and an implementation of a logic
programming environment . . . . . . . . 191--198
Bruce J. MacLennan A simple software environment based on
objects and relations . . . . . . . . . 199--207
Stephen Fickas Design issues in a Rule-Based System . . 208--215
Richard E. Sweet The Mesa programming environment . . . . 216--229
Daniel C. Swinehart and
Polle T. Zellweger and
Robert B. Hagmann The structure of Cedar . . . . . . . . . 230--244
James Donahue Integration mechanisms in Cedar . . . . 245--251
H. K. Seyfer A bibliography on compiler assessment.
II . . . . . . . . . . . . . . . . . . . 20--27
Michael A. Covington A further note on looping in Prolog . . 28--31
Donald Nute A programming solution to certain
problems with loops in Prolog . . . . . 32--37
David Poole and
Randy Goebel On eliminating loops in Prolog . . . . . 38--40
Miren Begoña Albizuri-Romero Internal representation of programs in
GRASE . . . . . . . . . . . . . . . . . 41--50
Edward G. Amoroso The formal specification and prototype
implementation of a simple editor . . . 51--59
C. Bron and
E. J. Dijkstra and
T. J. Rossingh A note on the checking of interfaces
between separately compiled modules . . 60--63
A. J. Gerber The trouble with mutual recursion in
Concurrent Euclid . . . . . . . . . . . 64--70
Morton Goldberg A response to ``Some concerns about
Modula-2'' . . . . . . . . . . . . . . . 71--72
Lawrence A. Harris and
Yannich Wets Resetting displays . . . . . . . . . . . 73--77
Vladimir Jare\vs Work with strings of variable length in
COBOL . . . . . . . . . . . . . . . . . 78--81
Neil D. Jones and
Peter Sestoft and
Harald S\òndergaard An experiment in partial evaluation: the
generation of a compiler generator . . . 82--87
Wilf R. LaLonde and
John R. Pugh Specialization, generalization and
inheritance, teaching objectives beyond
data structures and data types . . . . . 88--92
Thomas N. Turba The Pascal exception handling proposal 93--98
M. W. Whitelaw Some ramifications of the \tt EXIT
statement in loop control . . . . . . . 99--106
H. Zedan Safety decomposition of distributed
programs . . . . . . . . . . . . . . . . 107--112
Michael P. Barnett The primitive string manipulation
(PRISM) language . . . . . . . . . . . . 11--20
Carl Binding Cheap concurrency in C . . . . . . . . . 21--26
A. Toni Cohen and
Thomas J. Myers Information sharing . . . . . . . . . . 27--31
Bleicke Eggers The Towers of Hanoi: yet another
nonrecursive solution . . . . . . . . . 32--42
C. Hornsby and
C. H. C. Leung The Design and Implementation of a
Flexible Retrieval Language for a Prolog
Database System . . . . . . . . . . . . 43--51
David C. J. Matthews Poly manual . . . . . . . . . . . . . . 52--76
D. C. J. Matthews Poly manual: Poly and standard ML . . . 52--76
Stef. W. Postma Proposed data structures for QL/Bn . . . 77--85
J. Shao and
G. E. Quick Implementation considerations of mapping
LISP onto a cellular computer system . . 86--93
Jonathan Thornburg Further notes on the modulo operator . . 94--94
Roger R. Baldwin A generalization of Neta Amit's
statement of the general problem of
deeply nested IF-THEN-ELSEs . . . . . . 9--13
Malcolm Crowe and
Clark Nicol and
Michael Hughes and
David Mackay On converting a compiler into an
incremental compiler . . . . . . . . . . 14--22
David M. Harland and
Martyn W. Szyplewski and
John B. Wainwright An alternative view of polymorphism . . 23--35
D. C. Ince and
Walton Hall and
Milton Keynes The influence of system design
complexity research on the design of
module interconnection languages . . . . 36--43
Randy M. Kaplan small-X --- a language and interpreter
for building expert systems . . . . . . 44--47
Hidekazu Matsumoto A static analysis of Prolog programs . . 48--59
Walter Olthoff An overview on ModPascal . . . . . . . . 60--71
Jerome A. Otto Predicting potential COBOL performance
on low level machine architectures . . . 72--78
Don Rosenthal Adding meta rules to OPS5. A proposed
extension . . . . . . . . . . . . . . . 79--86
Thomas J. Sager A technique for creating small fast
compiler frontends . . . . . . . . . . . 87--94
Andrzej Szalas and
Danuta Szczepanska Exception handling in parallel
computations . . . . . . . . . . . . . . 95--104
Yoshito Yamane Some thoughts on the type system of B 105--110
G. Aharonian Multi-language BLAS: a proposal . . . . 11--13
P. A. Buhr A case for teaching multi-exit loops to
beginning programmers . . . . . . . . . 14--22
Neil A. Burkhard Machine-independent C optimizer . . . . 23--26
Barry Dwyer Improving Gough's LL(1) lookahead
generator . . . . . . . . . . . . . . . 27--29
Rajiv Gupta and
Mary Lou Soffa The efficiency of storage management
schemes for Ada programs . . . . . . . . 30--38
David Joslin Extensions in Pascal implementations . . 39--46
Robert Marcus Generalized inheritance . . . . . . . . 47--48
Douglas M. Pase System programming in Modula-2 . . . . . 49--53
Antonio C. Silvestri An IBM-PC numeric I/O interrupt . . . . 54--63
Michael Wolfe and
Tom Macke Where are the optimizing compilers? . . 64--68
J. A. Zimmer A modest Modula wish list . . . . . . . 69--77
Michael P. Barnett A simple mechanism that supports the
PRISM language . . . . . . . . . . . . . 5--12
Richard Bielak ADA(*) vs. Modula-2: a view from the
trenches . . . . . . . . . . . . . . . . 13--17
Albert L. Crawford High level input/output in Modula-2 . . 18--25
Jurek Czyzowicz and
Michal Iglewski Implementing generic types in Modula-2 26--32
Kio C. Hyun and
Ernst-Erich Doberkat Inline expansion of SETL procedures . . 33--38
Milos Konopasek The Towers of Hanoi from a different
viewpoint . . . . . . . . . . . . . . . 39--46
Robert W. Sebesta and
Mark A. Taylor Minimal perfect hash functions for
reserved word lists . . . . . . . . . . 47--53
P. D. Terry CLANG: a simple teaching language . . . 54--63
Hal Berghel and
Eric Traudt Spelling Verification in Prolog . . . . 19--27
Daniel Brand On typing in Prolog . . . . . . . . . . 28--30
Joseph L. F. De Kerf APL compared with other languages
according to Halstead's theory . . . . . 31--39
Dick Dunn Non-technical issues in acceptance of
SILs . . . . . . . . . . . . . . . . . . 40--45
J. G. Hunt Detection of deadlocks in multiprocess
systems . . . . . . . . . . . . . . . . 46--48
Kuo-Cheng Li A note on the vector C language . . . . 49--57
Michael J. Sorens A technique for automatically porting
dialects of Pascal to each other . . . . 58--63
J. Heering and
P. Klint The efficiency of the Equation
Interpreter compared with the UNH Prolog
interpreter . . . . . . . . . . . . . . 18--21
W. T. Huang and
D. C. You Typed functional programming . . . . . . 22--26
J. E. Jonak Experience with a FORTH-like language 27--36
T. G. Muchnick On some extensions of syntactic error
recovery technique based on phrase
markers . . . . . . . . . . . . . . . . 37--39
S. Skelton Measurements of migratability and
transportability . . . . . . . . . . . . 40--45
J. Weeks and
H. Berghel A comparative feature-analysis of
microcomputer Prolog implementations . . 46--61
R. Männer Strong typing and physical units
(syntactic extensions of high level
languages) . . . . . . . . . . . . . . . 11--20
Mark B. Wells A potpourri of notational pet peeves
(and their resolution in modcap) . . . . 21--30
Paul Rutter Book Review: Performance and Evaluation
of Lisp Systems by Richard P. Gabriel
(MIT Press, 1985) . . . . . . . . . . . 21--21
J. Beidler and
P. Jackowitz Consistent generics in Modula-2 . . . . 32--41
T. Y. Chen and
S. C. Kwan An analysis of length equation using a
dynamic approach . . . . . . . . . . . . 42--47
G. Cisneros and
H. V. McIntosh Introduction to the programming language
Convert . . . . . . . . . . . . . . . . 48--57
K. Groening and
C. Ohsendoth NEMO: a nicely modified YACC . . . . . . 58--66
J. P. Kelsh and
J. C. Hansen Reasonably priced compilers and
interpreters for the IBM PC and
compatible computers . . . . . . . . . . 67--69
M. R. Longe The line-oriented approach (programming
systems) . . . . . . . . . . . . . . . . 70--74
K. W. Ng and
W. Y. Ma Pitfalls in PROLOG programming . . . . . 75--79
F. Nielson A bibliography on abstract
interpretation . . . . . . . . . . . . . 31--38
M. B. Feldman Ada vs. Modula-2: a response from the
ivory tower . . . . . . . . . . . . . . 39--44
J. R. Greenwood Comments on ``A View from the
Trenches''. Ada vs. Modula-2 vs. Praxis 45--49
V. Hayward Compared anatomy of the programming
languages Pascal and C . . . . . . . . . 50--60
M. Jazayeri and
M. Haden Optimizing compilers are here (mostly) 61--63
D. D. Kary and
P. L. Juell TRC: An expert system compiler . . . . . 64--68
H. Mössenböck Alex: a Simple and Efficient Scanner
Generator . . . . . . . . . . . . . . . 69--78
W. Tracz Confessions of a used program salesman
--- The loves in My Life . . . . . . . . 79--81
J. F. Watson Recursion: a choice between readability
and execution speed . . . . . . . . . . 82--90
M. N. Wegman What it's like to be a POPL referee; or
how to write an extended abstract so
that it is more likely to be accepted 91--95
Richard L. Wexelblat Editorial . . . . . . . . . . . . . . . 1--2
Martin Gfeller APL arrays and their editor . . . . . . 18--27
M. E. Goldsby Concurrent use of generic types in
MODULA-2 . . . . . . . . . . . . . . . . 28--34
P. Machanick Are LR parsers too powerful? . . . . . . 35--40
D. Taylor Visionaries: An interview with Professor
Michael O'Leary . . . . . . . . . . . . 41--54
J. Thornburg Keyword input for C . . . . . . . . . . 55--58
J. Thornburg Number crunching in C . . . . . . . . . 59--60
T. Vasak Universal closure operator for Prolog 61--62
R. S. Wiener Protecting against uninitialized
abstract objects in Modula-2 . . . . . . 63--69
R. J. Zavodnik and
M. D. Middleton YALE: The design of yet another
language-based editor . . . . . . . . . 70--78
David Bernstein and
Haran Boral and
Ron Y. Pinter Optimal chaining in expression trees . . 1--10
Philip B. Gibbons and
Steven S. Muchnick Efficient instruction scheduling for a
pipelined architecture . . . . . . . . . 11--16
Vivek Sarkar and
John Hennessy Compile-time partitioning and scheduling
of parallel programs . . . . . . . . . . 17--26
Thomas Gross and
Monica S. Lam Compilation for a high-performance
systolic array . . . . . . . . . . . . . 27--38
Roger Hoover and
Tim Teitelbaum Efficient incremental evaluation of
aggregate values in attribute grammars 39--50
Gail E. Kaiser Generation of run-time environments . . 51--57
Keith D. Cooper and
Ken Kennedy and
Linda Torczon Interprocedural optimization:
eliminating unnecessary recompilation 58--67
Veronique Royer Transformations of denotational
semantics in semantics directed compiler
generation . . . . . . . . . . . . . . . 68--73
K. J. Räihä and
Jorma Tarhio A globalizing transformation for
attribute grammars . . . . . . . . . . . 74--84
Rodney Farrow Automatic generation of
fixed-point-finding evaluators for
circular, but well-defined, attribute
grammars . . . . . . . . . . . . . . . . 85--98
Mark S. Johnson and
Terrence C. Miller Effectiveness of a machine-level, global
optimizer . . . . . . . . . . . . . . . 99--108
Harold Johnson Data flow analysis for `intractable'
imbedded system software . . . . . . . . 109--117
R. R. Kessler and
J. C. Peterson and
H. Carr and
G. P. Duggan and
J. Knell and
J. J. Krohnfeldt EPIC --- a retargetable, highly
optimizing Lisp compiler . . . . . . . . 118--130
Fred Ives Unifying view of recent LALR(1)
lookahead set algorithms . . . . . . . . 131--135
Manuel E. Bermudez and
Karl M. Schimpf A practical arbitrary look-ahead LR
parsing technique . . . . . . . . . . . 136--144
Thomas J. Pennello Very fast LR parsing . . . . . . . . . . 145--151
David Callahan and
Keith D. Cooper and
Ken Kennedy and
Linda Torczon Interprocedural constant propagation
(compilers) . . . . . . . . . . . . . . 152--161
Michael Burke and
Ron Cytron Interprocedural dependence analysis and
parallelization . . . . . . . . . . . . 162--175
Rémi Triolet and
François Irigoin and
Paul Feautrier Direct parallelization of CALL
statements . . . . . . . . . . . . . . . 176--185
Hans--Juergen Boehm and
Alan Demers Implementing RUSSELL . . . . . . . . . . 186--195
Gary Lindstrom Static evaluation of functional programs 196--206
Peter G. Harrison and
Hessam Khoshnevisan Efficient compilation of linear
recursive functions into object level
loops . . . . . . . . . . . . . . . . . 207--218
David Kranz and
Richard Kelsey and
Jonathan Rees and
Paul Hudak and
James Philbin and
Norman Adams ORBIT: an optimizing compiler for Scheme 219--233
Jack W. Davidson A retargetable instruction reorganizer 234--241
Christopher W. Fraser and
Alan L. Wendt Integrating code generation and
optimization . . . . . . . . . . . . . . 242--248
Peter B. Kessler Discovering machine-specific code
improvements . . . . . . . . . . . . . . 249--254
James R. Larus and
Paul N. Hilfinger Register allocation in the SPUR Lisp
compiler . . . . . . . . . . . . . . . . 255--263
David W. Wall Global register allocation at link time 264--275
Maurice V. Wilkes EMPIRIC: a sketch of a programming
language designed to facilitate a fine
grain of protection . . . . . . . . . . 16--27
C. Clay A new solution to the $ N \leq 8 $
queens problem . . . . . . . . . . . . . 28--30
Dick Grune Generic packages in C . . . . . . . . . 31--39
P. Jouvelot Designing new languages or new language
manipulation systems using ML . . . . . 40--52
David V. Moffat Generic data structures in UCSD Pascal 53--61
Bruce D. Ramsey The lion and the unicorn met PROLOG . . 62--70
Xiaolin Zang A proposal for implementing the
concurrent mechanisms of Ada . . . . . . 71--79
Terry L. Anderson The scope of imported identifiers in
Modula-2 . . . . . . . . . . . . . . . . 17--21
Roger R. Baldwin Systematic indentation in PL/I:
minimizing the reduction in horizontal
space . . . . . . . . . . . . . . . . . 22--26
H. P. Christiansen and
A. Lacroix and
K. Lundberg and
A. McKeeman and
P. D. V. van der Stok More or less concerns about MODULA-2 . . 27--31
Richard Gisselquist An Experimental C Compiler for the Cray
2 Computer . . . . . . . . . . . . . . . 32--41
S. Hekmatpour and
D. C. Ince Forms as a language facility . . . . . . 42--48
Kenneth Magel Efficient calculation of the scope
program complexity metric . . . . . . . 49--56
J. R. Parker A subset FORTRAN compiler for a modified
Harvard architecture . . . . . . . . . . 57--62
Rollo Silver and
Mark Wells and
Shaun-Inn Wu and
Margaret Hug A concurrent $ N \leq 8 $ Queens'
algorithm using Modcap . . . . . . . . . 63--76
Peter van Eijk A useful application of formal procedure
parameters . . . . . . . . . . . . . . . 77--78
Anonymous Technical contributions . . . . . . . . ??
Peter Wegner and
Bruce Shriver Introduction to the special issue of the
SIGPLAN Notices on the Object-Oriented
Programming Workshop . . . . . . . . . . 1--6
Bjarne Stroustrup An overview of C++ . . . . . . . . . . . 7--18
Alan Snyder CommonObjects: an overview (Common Lisp
extension) . . . . . . . . . . . . . . . 19--28
Kenneth Kahn and
Eric Dean Tribble and
Mark S. Miller and
Daniel G. Bobrow Objects in concurrent logic programming
languages . . . . . . . . . . . . . . . 29--38
Mario Tokoro and
Yutaka Ishikawa Concurrent programming in Orient84/K: an
object-oriented knowledge representation
language . . . . . . . . . . . . . . . . 39--48
Steven P. Reiss An object-oriented framework for
graphical programming (summary paper) 49--57
Gul Agha An overview of actor languages . . . . . 58--67
Peter de Jong Compilation into ACTORS . . . . . . . . 68--77
Van Nguyen and
Brent Hailpern A generalized object model . . . . . . . 78--87
Rob Strom A comparison of the object-oriented and
process paradigms . . . . . . . . . . . 88--97
James Hendler Enhancement for multiple-inheritance . . 98--106
Alexander Borgida Exceptions in object-oriented languages 107--119
Stanley B. Zdonik Maintaining consistency in a database
with changing types . . . . . . . . . . 120--127
Kristen Nygaard Basic concepts in object oriented
programming . . . . . . . . . . . . . . 128--132
Ole Lehrmann Madsen Block structure and object oriented
languages . . . . . . . . . . . . . . . 133--142
Harold L. Ossher A mechanism for specifying the structure
of large, layered, object-oriented
programs . . . . . . . . . . . . . . . . 143--152
Joseph A. Goguen and
José Meseguer Extensions and foundations of
object-oriented programming . . . . . . 153--162
Kim B. Bruce and
Peter Wegner An algebraic model of subtypes in
object-oriented languages (draft) . . . 163--172
Peter Wegner Classification in object-oriented
systems . . . . . . . . . . . . . . . . 173--182
Gul Agha Fair concurrency in actors (abstract
only): eager evaluation producers strong
convergence . . . . . . . . . . . . . . 183--183
Alex Borgida Can entity-based information systems
live with exceptions? (abstract only) 183--183
Kim Bruce and
Peter Wegner An algebraic model of subtype in
object-oriented languages (abstract
only) . . . . . . . . . . . . . . . . . 183--184
Ole-Johann Dahl Object-oriented specification (abstract
only) . . . . . . . . . . . . . . . . . 184--184
Peter de Jong Compiling objects into actors (abstract
only) . . . . . . . . . . . . . . . . . 184--184
J. A. Goguen and
J. Meseguer Foundations and extensions of
object-oriented programming (abstract
only) . . . . . . . . . . . . . . . . . 185--185
Jim Hendler Run-time enhancements for
object-oriented programming . . . . . . 185--185
Ken Kahn Objects in concurrent logic programming
languages (abstract only) . . . . . . . 186--186
Ole Madsen Block structure and object oriented
languages (abstract only) . . . . . . . 186--186
Van Nguyen and
Brent Hailpern A generalized object model (abstract
only) . . . . . . . . . . . . . . . . . 187--187
Kristen Nygaard Basic concepts in object oriented
programming (abstract only) . . . . . . 187--188
Harold Ossher Specifying the structure of large,
layered, object-oriented programs
(abstract only) . . . . . . . . . . . . 188--188
Steven Reiss Working in the garden system (abstract
only) . . . . . . . . . . . . . . . . . 188--188
Alan Snyder CommonObjects: object-oriented
programming in Common Lisp . . . . . . . 189--189
Rob Strom A comparison of the object-oriented and
process-oriented paradigms (abstract
only) . . . . . . . . . . . . . . . . . 189--189
Bjarne Stroustrup An overview of C++ (abstract only) . . . 189--189
Mario Tokoro and
Yutaka Ishikawa Orient84/K (abstract only): an object
oriented concurrent programming language
for knowledge systems . . . . . . . . . 190--191
Peter Wegner Classification as a paradigm for
computing (abstract only) . . . . . . . 191--191
Stanley Zdonik Approaches to change in an
object-oriented database (abstract only) 191--192
David A. Moon Object-oriented programming with Flavors 1--8
Craig Schaffert and
Topher Cooper and
Bruce Bullis and
Mike Kilian and
Carrie Wilpolt An introduction to Trellis/Owl . . . . . 9--16
D. G. Bobrow and
K. Kahn and
G. Kiczales and
L. Masinter and
Stefik and
M. and
F. Zdybel Common Loops, merging Lisp and
object-oriented programming . . . . . . 17--29
Daniel G. Bobrow and
Kenneth Kahn and
Gregor Kiczales and
Larry Masinter and
Mark Stefik and
Frank Zdybel CommonLoops: merging Lisp and
object-oriented programming . . . . . . 17--29
Kevin J. Lang and
Barak A. Pearlmutter Oaklisp: an object-oriented scheme with
first class types . . . . . . . . . . . 30--37
Alan Snyder Encapsulation and inheritance in
object-oriented programming languages 38--45
Juanita J. Ewing An object-oriented operating system
interface . . . . . . . . . . . . . . . 46--56
Partha Dasgupta A probe-based monitoring scheme for an
object-oriented distributed operating
system . . . . . . . . . . . . . . . . . 57--66
Michael B. Jones and
Richard F. Rashid Mach and Matchmaker: kernel and language
support for object-oriented distributed
systems . . . . . . . . . . . . . . . . 67--77
Andrew Black and
Norman Hutchinson and
Eric Jul and
Henry Levy Object structure in the Emerald system 78--86
Ted Kaehler Virtual memory on a narrow machine for
an object-oriented language . . . . . . 87--106
A. Dain Samples and
David Ungar and
Paul Hilfinger SOAR: Smalltalk without bytecodes . . . 107--118
Patrick J. Caudill and
Allen Wirfs-Brock A third generation Smalltalk-80
implementation . . . . . . . . . . . . . 119--130
David M. Lewis and
David R. Galloway and
Robert J. Francis and
Brian W. Thomson Swamp: a fast processor for Smalltalk-80 131--139
Mark B. Ballard and
David Maier and
Allen Wirfs-Brock QUICKTALK: a Smalltalk-80 dialect for
defining primitive methods . . . . . . . 140--150
Robert G. Atkinson Hurricane: an optimizing compiler for
Smalltalk . . . . . . . . . . . . . . . 151--158
Sanja Mittal and
Daniel G. Bobrow and
Kenneth M. Kahn Virtual copies: at the boundary between
classes and instances . . . . . . . . . 159--166
Reid G. Smith and
Rich Dinitz and
Paul Barth Impulse-86. A substrate for
object-oriented interface design2 . . . 167--176
David B. Anderson Experience with Flamingo: a distributed,
object-oriented user interface system 177--185
Norman Meyrowitz Intermedia: The architecture and
construction of an object-oriented
hypermedia system and applications
framework . . . . . . . . . . . . . . . 186--201
L. Nancy Garrett and
Karen E. Smith Building a timeline editor from prefab
parts: the architecture of an
object-oriented application . . . . . . 202--213
Henry Lieberman Using prototypical objects to implement
shared behavior in object-oriented
systems . . . . . . . . . . . . . . . . 214--223
Koichi Fukunaga and
Shin-ichi Hirose An experience with a Prolog-based
object-oriented language . . . . . . . . 224--231
Yutaka Ishikawa and
Mario Tokoro A concurrent object-oriented knowledge
representation language Orient84/K: its
features and implementation . . . . . . 232--241
K. Kahn and
E. D. Tribble and
M. S. Miller and
D. G. Bobrow Objects in concurrent logic programming
languages . . . . . . . . . . . . . . . 242--242
Kenneth Kahn and
Eric Dean Tribble and
Mark S. Miller and
Daniel G. Bobrow Objects in concurrent logic programming
languages . . . . . . . . . . . . . . . 242--257
Akinori Yonezawa and
Jean-Pierre Briot and
Etsuya Shibayama Object-oriented concurrent programming
ABCL/1 . . . . . . . . . . . . . . . . . 258--268
Jeffrey Bonar and
Robert Cunningham and
Jamie Schultz An object-oriented architecture for
intelligent tutoring systems . . . . . . 269--276
S. Kamal Abdali and
Guy W. Cherry and
Neil Soffer A Smalltalk system for algebraic
manipulation . . . . . . . . . . . . . . 277--283
Giorgio Bruno and
Alessandra Balsamo Petri net-based object-oriented
modelling of distributed systems . . . . 284--293
Michael S. Miller and
Howard Cunningham and
Chan Lee and
Steven R. Vegdahl The Application Accelerator Illustration
System . . . . . . . . . . . . . . . . . 294--302
K. S. Bhaskar and
J. K. Peckol and
J. L. Beug Virtual Instruments: object-oriented
program synthesis . . . . . . . . . . . 303--314
Ralph E. Johnson Type-checking Smalltalk . . . . . . . . 315--321
Wilf R. LaLonde and
Dave A. Thomas and
John R. Pugh An exemplar based Smalltalk . . . . . . 322--330
Yasuhiko Yokote and
Mario Tokoro The design and implementation of
Concurrent Smalltalk . . . . . . . . . . 331--340
Geoffrey A. Pascoe Encapsulators: a new software paradigm
in Smalltalk-80 . . . . . . . . . . . . 341--346
Daniel H. H. Ingalls A simple technique for handling multiple
polymorphism . . . . . . . . . . . . . . 347--349
T. A. Cargill Pi: a case study in object-oriented
programming . . . . . . . . . . . . . . 350--360
Ward Cunningham and
Kent Beck A diagram for object-oriented programs 361--367
Jonathan Jacky and
Ira Kalet An object-oriented approach to a large
scientific application . . . . . . . . . 368--376
Ivar Jacobson Language support for changeable large
real time systems . . . . . . . . . . . 377--384
Kurt W. Piersol Object-oriented spreadsheets: the
analytic spreadsheet package . . . . . . 385--390
Bertrand Meyer Genericity versus inheritance . . . . . 391--405
Setrag N. Khoshafian and
George P. Copeland Object identity . . . . . . . . . . . . 406--416
David McAllester and
Ramin Zabih Boolean classes . . . . . . . . . . . . 417--423
David Sandberg An alternative to subclassing . . . . . 424--428
D. Sandberg An alternative to subclassing
(Smalltalk) . . . . . . . . . . . . . . 424--428
Walter G. Olthoff Augmentation of object-oriented
programming by concepts of abstract data
type theory: the ModPascal experience 429--443
Dominique Decouchant Design of a distributed object manager
for the Smalltalk-80 system . . . . . . 444--452
Douglas Wiebe A distributed repository for immutable
persistent objects . . . . . . . . . . . 453--465
Steven R. Vegdahl Moving structures between Smalltalk
images . . . . . . . . . . . . . . . . . 466--471
David Maier and
Jacob Stein and
Allen Otis and
Alan Purdy Development of an object-oriented DBMS 472--482
Andrea H. Skarra and
Stanley B. Zdonik The management of changing types in an
object-oriented database . . . . . . . . 483--495
Jonathan Rees and
William Clinger and
H. Abelson and
N. I. Adams, IV and
D. H. Bartley and
G. Brooks and
R. K. Dybvig and
D. P. Friedman and
R. Halstead and
C. Hanson and
C. T. Haynes and
E. Kohlbecker and
D. Oxley and
K. M. Pitman and
G. J. Rozas and
G. J. Sussman and
M. Wand Revised Report$^3$ on the Algorithmic
Language SCHEME . . . . . . . . . . . . 37--79
T. Balanescu and
S. Gavrila and
M. Gheorghe and
R. Nicolescu and
L. Sofonea On Hartmann's error-recovery scheme . . 80--86
H. Boley RELFUN: a relational/functional
integration with valued clauses . . . . 87--98
R. M. Clapp and
T. N. Mudge and
R. A. Volz Solutions to the $n$ Queens problem
using tasking in Ada . . . . . . . . . . 99--110
W. F. Clocksin Some comments on ``Pitfalls in Prolog
Programming'' . . . . . . . . . . . . . 111--113
A. Dreiheller and
M. Moerschbacher and
B. Mohr PHYSCAL: Programming Pascal with
physical units . . . . . . . . . . . . . 114--123
G. Gonsalves and
A. C. Silvestri Programming in Smalltalk-80:
observations and remarks from the newly
initiated . . . . . . . . . . . . . . . 124--130
D. A. Joslin Extended Pascal --- illustrative
features . . . . . . . . . . . . . . . . 131--138
H. Mössenböck Alex: a simple and efficient scanner
generator . . . . . . . . . . . . . . . 139--148
Yuh-Huei H. Shyu From semi-syntactic lexical analyzer to
a new compiler model . . . . . . . . . . 149--157
D. Turner An overview of Miranda . . . . . . . . . 158--166
P. K. Turner Up-down parsing with prefix grammars . . 167--174
Maria H. Penedo Prototyping a project master database
for software engineering environments 1--11
Ferdinando Gallo and
Regis Minot and
Ian Thomas The object management system of PCTE as
a software engineering database
management system . . . . . . . . . . . 12--15
David S. Wile and
Dennis G. Allard Worlds: an organizing structure for
object-bases . . . . . . . . . . . . . . 16--26
Mark Dowson ISTAR: an integrated project support
environment . . . . . . . . . . . . . . 27--33
Norman Delisle and
Mayer Schwartz A programming environment for CSP . . . 34--41
Graham Ross Integral-C: a practical environment for
C programming . . . . . . . . . . . . . 42--48
Charles Z. Mitchell Engineering VAX Ada for a multi-language
programming environment . . . . . . . . 49--58
M. A. Kret An information workstation for software
managers . . . . . . . . . . . . . . . . 59--69
Rakesh M. Mital and
Marcia M. Kim and
Richard A. Berg A case study of workstation usage during
the early phases of the software
development life cycle . . . . . . . . . 70--76
Steven Wartik Rapidly evolving software and the
OVERSEE environment . . . . . . . . . . 77--83
N. Belkatir and
J. Estublier Experience with a data base of programs 84--91
Keith D. Copper and
Ken Kennedy and
Linda Torczon Editing and compiling whole programs . . 92--101
Robert P. Cook and
Rihard J. Auletta StarLite, a visual simulation package
for software prototyping . . . . . . . . 102--110
Carolyn Childs and
Filippos I. Vokolos AWB-ADE: an application development
environment for interactive, integrated
systems . . . . . . . . . . . . . . . . 111--120
Keith Marzullo and
Douglas Wiebe Jasmine: a software system modelling
facility . . . . . . . . . . . . . . . . 121--130
Anthony I. Wasserman and
Peter A. Pircher A graphical, extensible integrated
environment for software development . . 131--142
Roger King and
Scott Hudson Implementing a user interface as a
system of attributes . . . . . . . . . . 143--149
Prasun Dewan and
Marvin Solomon Dost: an environment to support
automatic generation of user interfaces 150--159
Barbara J. Staudt and
Charles W. Krueger and
David Garlan A structural approach to the maintenance
of structure-oriented environments . . . 160--170
Martin Carroll and
Barbara G. Ryder An incremental algorithm for software
analysis . . . . . . . . . . . . . . . . 171--179
Hausi A. Muller and
Robert Hood and
Ken Kennedy Efficient recompilation of module
interfaces in a software development
environment . . . . . . . . . . . . . . 180--189
G. Engels and
M. Nagl and
W. Schafer On the structure of structure-oriented
editors for different applications . . . 190--198
Nelson H. Weiderman and
A. Nico Habermann and
Mark W. Borger and
Mark H. Klein A methodology for evaluating
environments . . . . . . . . . . . . . . 199--207
A. van Lamsweerde and
M. Buyse and
B. Delcourt and
E. Delor and
M. Ervier and
M. C. Schayes The kernel of a generic software
development environment . . . . . . . . 208--217
J. H. Reppy and
E. R. Gansner A foundation for programming
environments . . . . . . . . . . . . . . 218--227
ANSI/IEEE Std 754-1985. An American
National Standard: IEEE Standard for
Binary Floating-Point Arithmetic . . . . 9--25
M. Cowlishaw The design of the REXX language . . . . 26--35
G. Alan Creak When GOTO goes to, how does it get
there? . . . . . . . . . . . . . . . . . 36--42
Michael E. Goldsby Solving the ``$ N \leq 8 $ Queens''
problem with CSP and Modula-2 . . . . . 43--52
Tomas Hrycej A knowledge-based problem-specific
program generator . . . . . . . . . . . 53--61
Kenneth Louden Recursion versus non-recursion in
Pascal: recursion can be faster . . . . 62--67
G. R. Perkins and
R. W. Norman and
S. Danicic Coping with deeply nested control
structures . . . . . . . . . . . . . . . 68--77
Jeffrey Savit Uninitialized Modula-2 abstract objects,
revisited . . . . . . . . . . . . . . . 78--84
Bertrand Meyer Eiffel: programming for reusability and
extendibility . . . . . . . . . . . . . 85--94
Ken Slonneger Pitfalls with procedure parameters . . . 95--99
David Spector and
Prescott K. Turner Limitations of Graham-Glanville style
code generation . . . . . . . . . . . . 100--107
D. Harel Logic and databases: a critique . . . . 14--20
F. G. Pagan A graphical FP language . . . . . . . . 21--39
K. Rehmer Error handling using Modula-2 . . . . . 40--48
S. C. Kennedy Engineering development of computer
languages . . . . . . . . . . . . . . . 49--58
L. O. Ejiogu The critical issues of software metrics
part 0: perspectives on software
measurements . . . . . . . . . . . . . . 59--64
J. J. Leeson and
M. L. Spear Type independent modules: the preferred
approach to generic ADTs in Modula-2 . . 65--70
J. R. Parker A study of record packing methods . . . 71--77
W. Braunschober COMPAS: compatible Pascal . . . . . . . 78--82
P. Wadler A critique of Abelson and Sussman or why
calculating is better than scheming . . 83--94
A. Lomax The suitability of language syntaxes for
program generation . . . . . . . . . . . 95--101
T. A. LePera and
H. E. Donley FORTRAN: a viable option for the
introductory computer science course . . 102--110
W. Hankley Feature analysis of Turbo Prolog . . . . 111--118
W. Tracz Personal personnel programmer profile 119--120
R. Schooler Knowing is better than thinking: a
simple approach to inter-procedural
optimization . . . . . . . . . . . . . . 121--122
R. Kerr A materialistic view of the software
``engineering'' analogy . . . . . . . . 123--125
J. S. Rohl The Towers of Hanoi: a
representation-free solution . . . . . . 126--126
J. F. Watson A grammar rule notation translator . . . 16--27
G. A. Hill A note on the modulo operation in Edison 28--29
J. C. H. Park Remarks on recent algorithms for LALR
lookahead sets . . . . . . . . . . . . . 30--32
A. Radensky Lazy evaluation and nondeterminism make
Backus' FP-systems more practical . . . 33--40
J. A. Goguen and
J. Meseguer Remarks on remarks on many-sorted
equational logic . . . . . . . . . . . . 41--48
A. Cheese Combinatory code and a parallel
packet-based computational model . . . . 49--58
S. Hekmatpour A notation for specifying menus . . . . 59--62
T. W. Jerardi Puzzles, PROLOG and logic . . . . . . . 63--69
D. M. Harland and
B. Beloff OBJEKT: a persistent object store with
an integrated garbage collector . . . . 70--79
L. Kotulski About the semantic nested monitor calls 80--82
R. Methfessel Implementing an access and object
oriented paradigm in a language that
supports neither . . . . . . . . . . . . 83--93
I. Ion and
R. Arhire and
M. Macesanu Programs complexity: comparative
analysis hierarchy, classification . . . 94--102
J. D. Eckart Iteration and abstract data types . . . 103--110
M. A. Torbett A note on ``Protecting against
uninitialized abstract objects in
Modula-2'' . . . . . . . . . . . . . . . 8--10
M. A. Torbett More ambiguities and insecurities in
Modula-2 . . . . . . . . . . . . . . . . 11--17
D. A. Joslin Extended Pascal --- illustrative
features . . . . . . . . . . . . . . . . 18--19
W. Van Snyder Multilevel EXIT and CYCLE aren't so bad 20--22
H. Touati Is Ada an object oriented programming
language? . . . . . . . . . . . . . . . 23--26
R. R. Baldwin A note on H. E. Tompkins's
minimum-period COBOL style . . . . . . . 27--31
D. M. Miller and
R. S. Maness and
J. W. Howatt and
W. H. Shaw A software science counting strategy for
the full Ada language . . . . . . . . . 32--41
M. Furnari Pascal implementation of a LISP
interpreter . . . . . . . . . . . . . . 42--46
I. Kaplan Programming the Loral LDF 100 dataflow
machine . . . . . . . . . . . . . . . . 47--57
J. Bondy Uninitialized Modula-2 abstract object
instances, yet again . . . . . . . . . . 58--63
H. Gallaire and
J. Minker and
J. Nicolas Logic and databases: a response . . . . 20--24
M. Collado and
R. Morales and
J. J. Moreno A Modula-2 implementation of CSP . . . . 25--38
R. A. Sosnowski Prolog dialects: a déj\`a vu of BASICs 39--48
A. Cheese Multi-moded relations in Parlog . . . . 49--51
S. Greenfield and
R. Norton Detecting uninitialized Modula-2
abstract objects . . . . . . . . . . . . 52--58
R. S. Wiener Object-oriented programming in C++: a
case study . . . . . . . . . . . . . . . 59--68
R. E. Gantenbein Support for dynamic binding in strongly
typed languages . . . . . . . . . . . . 69--75
J. C. Miller and
B. M. Strauss III Implications of automated restructuring
of COBOL . . . . . . . . . . . . . . . . 76--82
A. Rizk and
F. Halsall Design and implementation of a C-based
language for distributed real-time
systems . . . . . . . . . . . . . . . . 83--100
K. Indermark and
H. Klaeren Compiling Fibonacci-like recursion . . . 101--108
D. W. Krumme Comments on an example for procedure
parameters . . . . . . . . . . . . . . . 109--111
C. May Mimic: a fast System/370 simulator . . . 1--13
M. Huguet and
T. Lang and
Y. Tamir A block-and-actions generator as an
alternative to a simulator for
collecting architecture measurements . . 14--25
M. Huguet and
T. Lang and
Y. Tamir A block-and-actions generator as an
alternative to a simulator for
collecting architecture measurements . . 14--25
S. T. Shebs and
R. R. Kessler Automatic design and implementation of
language data types . . . . . . . . . . 26--37
R. R. Karinthi and
M. Weiser Incremental re-execution of programs . . 38--44
R. R. Karinthi and
M. Weiser Incremental re-execution of programs . . 38--44
D. Notkin and
W. G. Griswold Enhancement through extension: the
extension interpreter . . . . . . . . . 45--55
R. S. Sutor and
R. D. Jenks The type inference and coercion
facilities in the Scratchpad II
interpreter . . . . . . . . . . . . . . 56--63
A. D. Robison The Illinois functional programming
interpreter . . . . . . . . . . . . . . 64--73
R. C. Waters Efficient interpretation of
synchronizable series expressions . . . 74--85
A. A. Faustini and
W. W. Wadge An eductive interpreter for the language
pLucid . . . . . . . . . . . . . . . . . 86--91
R. Bahlke and
B. Moritz and
G. Snelting A generator for language-specific
debugging systems . . . . . . . . . . . 92--101
R. Bahlke and
B. Moritz and
G. Snelting A generator for language-specific
debugging systems . . . . . . . . . . . 92--101
S. K. Skedzielewski and
R. K. Yates and
R. R. Oldehoeft DI: an interactive debugging interpreter
for applicative languages . . . . . . . 102--112
B. B. Chase and
R. T. Hood Selective interpretation as a technique
for debugging computationally intensive
programs . . . . . . . . . . . . . . . . 113--124
A. Krall Implementation of a high-speed Prolog
interpreter . . . . . . . . . . . . . . 125--131
A. Krall Implementation of a high-speed Prolog
interpreter . . . . . . . . . . . . . . 125--131
J. Barklund Efficient interpretation of Prolog
programs . . . . . . . . . . . . . . . . 132--137
J. O'Bagy and
R. E. Griswold A recursive interpreter for the Icon
programming language . . . . . . . . . . 138--149
T. Pittman Two-level hybrid interpreter/native code
execution for combined space-time
program efficiency . . . . . . . . . . . 150--152
T. Pittman Two-level hybrid interpreter/native code
execution for combined space-time
program efficiency . . . . . . . . . . . 150--152
K. Koskimies and
J. Paakki TOOLS: a unifying approach to
object-oriented language interpretation 153--164
G. F. Johnson GL --- a denotational testbed with
continuations and partial continuations
as first-class objects . . . . . . . . . 165--176
G. F. Johnson GL --- a denotational testbed with
continuations and partial continuations
as first-class objects . . . . . . . . . 165--176
A. J. Offutt, VI and
K. N. King A Fortran 77 interpreter for mutation
analysis . . . . . . . . . . . . . . . . 177--188
J. W. Davidson and
J. V. Gresh Cint: a RISC interpreter for the C
programming language . . . . . . . . . . 189--198
James R. Cordy and
T. C. N. Graham Design of an interpretive environment
for Turing . . . . . . . . . . . . . . . 199--204
H. Harr and
M. W. Evens and
J. Sprowl Interpreting ABF --- a language for
document construction . . . . . . . . . 205--213
H. J. Boehm Constructive real interpretation of
numerical programs . . . . . . . . . . . 214--221
C. F. Clark The JADE interpreter: a RISC interpreter
for syntax directed editing . . . . . . 222--228
J. E. B. Moss Managing stack frames in Smalltalk . . . 229--240
O. Danvy Memory allocation and higher-order
functions . . . . . . . . . . . . . . . 241--252
B. Lang and
F. Dupont Incremental incrementally compacting
garbage collection . . . . . . . . . . . 253--263
J. D. Eckart and
R. J. LeBlanc Distributed garbage collection . . . . . 264--273
D. Gelernter and
S. Jagannathan and
T. London Parallelism, persistence and
meta-cleanliness in the symmetric Lisp
interpreter . . . . . . . . . . . . . . 274--282
P. Kearns and
M. Freeman CCAL: an interpreted language for
experimentation in concurrent control 283--291
Erik G. Urdang Book Review: The T Programming Language:
A Dialect of Lisp by Stephen Slade,
Prentice Hall, Inc. 1987 . . . . . . . . 13--13
Moreshwar R. Bhujade Visual specification of blocks in
programming languages . . . . . . . . . 24--26
G. Nani Implementing separate compilations in
Pascal . . . . . . . . . . . . . . . . . 27--32
Ronald T. House Thoughts on ``extended Pascal ---
illustrative examples'' . . . . . . . . 33--38
Gordon Davies and
A. Tan A note on metrics of Pascal programs . . 39--44
Geoff Baldwin Implementation of physical units . . . . 45--50
Shang Lujun and
Sun Zhongxiu An object-oriented programming language
for developing distributed software . . 51--56
K. H. Drechsler and
M. P. Stadel The Pascal-XT code generator . . . . . . 57--78
Robert Gerardy Experimental comparison of some parsing
methods . . . . . . . . . . . . . . . . 79--88
Dan Jonsson Pancode and boxcharts: structured
programming revisited . . . . . . . . . 89--98
Fred Ives Response to remarks on recent algorithms
for LALR lookahead sets . . . . . . . . 99--104
Markku Sakkinen Comparison as a value-yielding operation 105--110
N. W. Rickert Recursion vs. nonrecursion in Pascal: a
rejoinder . . . . . . . . . . . . . . . 12--13
Jan van den Bos PCOL: a protocol-constrained object
language . . . . . . . . . . . . . . . . 14--19
J. A. Ruf A note introducing syntax through
semantic routines . . . . . . . . . . . 20--22
E. Nuutila and
J. Kuusela and
M. Tamminen and
J. Veilhti and
J. Arkko XC: a language for embedded rule based
systems . . . . . . . . . . . . . . . . 23--32
R. J. Casimir Prolog puzzles . . . . . . . . . . . . . 33--37
D. B. Benson and
M. G. Main Workshop report . . . . . . . . . . . . 38--43
I. B. Elliott The astro system . . . . . . . . . . . . 44--53
D. R. Edelson How objective mechanisms facilitate the
development of large software systems in
three programming languages . . . . . . 54--63
Niklaus Wirth Hardware architectures for programming
languages and programming languages for
hardware architectures . . . . . . . . . 2--8
Bob Beck and
Bob Kasten and
Shreekant Thakkar VLSI assist for a multiprocessor . . . . 10--20
Roberto Bisiani and
Alessandro Forin Architectural support for multilanguage
parallel programming on heterogeneous
systems . . . . . . . . . . . . . . . . 21--30
Richard Rashid and
Avadis Tevanian and
Michael Young and
David Golub and
Robert Baron Machine-independent virtual memory
management for paged uniprocessor and
multiprocessor architectures . . . . . . 31--39
John R. Hayes and
Martin E. Fraeman and
Robert L. Williams and
Thomas Zaremba An architecture for the direct execution
of the Forth programming language . . . 42--49
Peter Steenkiste and
John Hennessy Tags and type checking in LISP: hardware
and software approaches . . . . . . . . 50--59
Jack W. Davidson and
Richard A. Vaughan The effect of instruction set complexity
on program size and memory performance 60--64
Russell R. Atkinson and
Edward M. McCreight The dragon processor . . . . . . . . . . 65--69
James R. Goodman Coherency for multiprocessor virtual
address caches . . . . . . . . . . . . . 72--81
T. A. Cargill and
B. N. Locanthi Cheap hardware support for software
debugging and profiling . . . . . . . . 82--83
C. J. Georgiou and
S. L. Palmer and
P. L. Rosenfeld An experimental coprocessor for
implementing persistent objects on an
IBM 4381 . . . . . . . . . . . . . . . . 84--87
Daniel J. Magenheimer and
Liz Peters and
Karl Pettis and
Dan Zuras Integer multiplication and division on
the HP Precision Architecture . . . . . 90--99
David W. Wall and
Michael L. Powell The Mahler experience: using an
intermediate language as the machine
description . . . . . . . . . . . . . . 100--104
Shlomo Weiss and
James E. Smith A study of scalar compilation techniques
for pipelined supercomputers . . . . . . 105--109
William R. Bush and
A. Dain Samples and
David Ungar and
Paul N. Hilfinger Compiling Smalltalk-80 to a RISC . . . . 112--116
F. Chow and
S. Correll and
M. Himelstein and
E. Killian and
L. Weber How many addressing modes are enough? 117--121
Henry Massalin Superoptimizer: a look at the smallest
program . . . . . . . . . . . . . . . . 122--126
Kazuo Taki and
Katzuto Nakajima and
Hiroshi Nakashima and
Morihiro Ikeda Performance and architectural evaluation
of the PSI machine . . . . . . . . . . . 128--135
Gaetano Borriello and
Andrew R. Cherenson and
Peter B. Danzig and
Michael N. Nelson RISCs vs. CISCs for Prolog: a case study 136--145
Richard B. Kieburtz A RISC architecture for symbolic
computation . . . . . . . . . . . . . . 146--155
David R. Ditzel and
Hubert R. McLellan and
Alan D. Berenbaum Design tradeoffs to support the C
programming language in the CRISP
microprocessor . . . . . . . . . . . . . 158--163
Charles P. Thacker and
Lawrence C. Stewart Firefly: a multiprocessor workstation 164--172
Douglas W. Clark Pipelining and performance in the VAX
8800 processor . . . . . . . . . . . . . 173--177
Robert P. Colwell and
Robert P. Nix and
John J. O'Donnell and
David B. Papworth and
Paul K. Rodman A VLIW architecture for a trace
scheduling compiler . . . . . . . . . . 180--192
Adam Levinthal and
Pat Hanrahan and
Mike Paquette and
Jim Lawson Parallel computers for graphics
applications . . . . . . . . . . . . . . 193--198
J. E. Smith and
G. E. Dermer and
B. D. Vanderwarn and
S. D. Klinger and
C. M. Rozewski The ZS-1 central processor . . . . . . . 199--204
D. L. Stone and
J. R. Nestor IDL: Background and status . . . . . . . 5--9
R. Snodgrass Displaying IDL instances . . . . . . . . 10--17
W. B. Warren and
J. Kickenson and
R. Snodgrass A tutorial introduction to using IDL . . 18--34
J. M. Newcomer Efficient binary I/O of IDL objects . . 35--43
D. A. Lamb Implementation strategies for DIANA
attributes . . . . . . . . . . . . . . . 44--54
J. Rohrich Graph attribution with multiple
attribute grammars . . . . . . . . . . . 55--70
T. Didriksen and
A. Lie and
R. Conradi IDL as a data description language for a
programming environment database . . . . 71--78
G. Persch Editing IDL data structures . . . . . . 79--86
P. H. Feiler Relationship between IDL and structure
editor generation technology . . . . . . 87--94
D. Garlan Extending IDL to support concurrent
views . . . . . . . . . . . . . . . . . 95--110
R. K. Kerr and
D. B. Percival Use of object-oriented programming in a
time series analysis system . . . . . . 1--10
Renate Kempf and
Marilyn Stelzner Teaching object-oriented programming
with the KEE system . . . . . . . . . . 11--25
Steven E. Lucco Parallel programming in a virtual object
space . . . . . . . . . . . . . . . . . 26--34
Andrew S. Grimshaw and
Jane W. S. Liu Mentat: An object-oriented macro data
flow system . . . . . . . . . . . . . . 35--47
Alan Borning and
Robert Duisberg and
Bjorn Freeman-Benson and
Axel Kramer and
Michael Woolf Constraint hierarchies . . . . . . . . . 48--60
Jim Diederich and
Jack Milton An object-oriented design system shell 61--77
Robert L. Young An object-oriented framework for
interactive data graphics . . . . . . . 78--90
Patrick D. O'Brien and
Daniel C. Halbert and
Michael F. Kilian The Trellis programming environment . . 91--102
Thomas Merrow and
Jame Laursen A pragmatic system for shared persistent
objects . . . . . . . . . . . . . . . . 103--110
D. Jason Penney and
Jacob Stein Class modification in the GemStone
object-oriented DBMS . . . . . . . . . . 111--117
Won Kim and
Jay Banerjee and
Hong-Tai Chou and
Jorge F. Garza and
Darrel Woelk Composite object support in an
object-oriented database system . . . . 118--125
Michael Caplinger An information system based on
distributed objects . . . . . . . . . . 126--137
Lynn Andrea Stein Delegation is inheritance . . . . . . . 138--146
Pattie Maes Concepts and experiments in
computational reflection . . . . . . . . 147--155
Pierre Cointe Metaclasses are first class: The
ObjVlisp Model . . . . . . . . . . . . . 156--162
Peter Wegner Dimensions of object-based language
design . . . . . . . . . . . . . . . . . 168--182
Ivar Jacobson Object-oriented development in an
industrial environment . . . . . . . . . 183--191
Brian M. Barry and
John R. Altoft Using objects to design and build radar
ESM systems . . . . . . . . . . . . . . 192--201
Ed Seidewitz Object-oriented programming in Smalltalk
and ADA . . . . . . . . . . . . . . . . 202--213
James Kempf and
Warren Harris and
Roy D'Souza and
Alan Snyder Experience with CommonLoops . . . . . . 214--226
David Ungar and
Randall B. Smith Self: The power of simplicity . . . . . 227--242
O. M. Nierstrasz Active objects in hybrid . . . . . . . . 243--253
Gail E. Kaiser and
David Garlan MELDing data flow and object-oriented
programming . . . . . . . . . . . . . . 254--267
Lars-Erik Thorelli Modules and type checking in PL/LL . . . 268--276
Lisa A. Call and
David L. Cohrs and
Barton P. Miller CLAM: an open system for graphical user
interfaces . . . . . . . . . . . . . . . 277--286
James H. Alexander Painless panes for Smalltalk windows . . 287--294
Mark Grossman and
Raimund K. Ege Logical composition of object-oriented
interfaces . . . . . . . . . . . . . . . 295--306
Steven H. Gutfreund Maniplicons in ThinkerToy . . . . . . . 307--317
John K. Bennett The design and implementation of
distributed Smalltalk . . . . . . . . . 318--330
Paul L. McCullough Transparent forwarding: First steps . . 331--341
Robert E. Filman Retrofitting objects . . . . . . . . . . 342--353
Eliot Miranda BrouHaHa: a portable SMALLTALK
interpreter . . . . . . . . . . . . . . 354--365
Pieter S. van der Meulen INSIST: Interactive Simulation in
Smalltalk . . . . . . . . . . . . . . . 366--376
Jane Laursen and
Robert Atkinson Opus: A Smalltalk production system . . 377--387
Naftaly H. Minsky and
David Rozenshtein A law-based approach to object-oriented
programming . . . . . . . . . . . . . . 382--493
John Hogg and
Steven Weiser OTM: Applying objects to tasks . . . . . 388--393
Jean Bezivin Some experiments in object-oriented
simulation . . . . . . . . . . . . . . . 394--405
Yasuhiko Yokote and
Mario Tokoro Experience and evolution of concurrent
Smalltalk . . . . . . . . . . . . . . . 406--415
Karl Freburger RAPID: Prototyping control panel
interfaces . . . . . . . . . . . . . . . 416--422
Brad J. Cox and
Kurt J. Schmucker Producer: a tool for translating
Smalltalk-80 to Objective-C . . . . . . 423--429
Timothy Andrews and
Craig Harris Combining language and database advances
in an object-oriented development
environment . . . . . . . . . . . . . . 430--440
Toby Bloom and
Stanley B. Zdonik Issues in the design of object-oriented
database programming languages . . . . . 441--451
Karen E. Smith and
Stanley B. Zdonik Intermedia: a case study of the
differences between relational and
object-oriented database systems . . . . 452--465
James Rumbaugh Relations as semantic constructs in an
object-oriented language . . . . . . . . 466--481
Naftaly H. Minsky and
David Rozenshtein A law-based approach to object-oriented
programming . . . . . . . . . . . . . . 482--493
Norman Kerth Workshop on specification and design . . 9--16
Barbara Liskov Keynote address \emdash data abstraction
and hierarchy . . . . . . . . . . . . . 17--34
Peter Wegner Panel on inheritance . . . . . . . . . . 35--40
William Cook BOF on inheritance . . . . . . . . . . . 41--42
Henry Lieberman and
Lynn Stein and
David Ungar Treaty of Orlando . . . . . . . . . . . 43--44
Michael Caruso and
Stan Zdonik Workshop on OODB semantics . . . . . . . 45--50
Peter Deutsch Workshop on tools . . . . . . . . . . . 53--58
Ralph Johnson Workshop on compiling and optimizing . . 59--65
Peter Deutsch SMALLTALK standardization efforts . . . 67--68
Stan Zdonik Panel on OODB . . . . . . . . . . . . . 69--71
Satish Thatte Workshop on OODB implementation . . . . 73--87
Reid Smith Panel on design methodology . . . . . . 91--95
Michael Jackson Banquet speech \emdash objects and other
subjects . . . . . . . . . . . . . . . . 97--104
John Uebbing Panel on making products . . . . . . . . 105--111
David Smith Panel on visual programming . . . . . . 113--118
Eliot Moss Panel on concurrency . . . . . . . . . . 119--127
Daniel G. Bobrow and
Linda G. DeMichiel and
Richard P. Gabriel and
Sonya E. Keene and
Gregor Kiczales and
David A. Moon Common LISP Object System specification
X3J13 Document 88-002R . . . . . . . . . 1--142
Peter Wegner Workshop on object-oriented programming
ECOOP 1987, Paris, June 18, 1987 . . . . 16--37
Victor Scheider A reply to ``A note on metrics of Pascal
programs'' . . . . . . . . . . . . . . . 38--39
Victor Schneider Approximations for the Halstead software
science software error rate and project
effort estimators . . . . . . . . . . . 40--47
P. Fairfield and
M. A. Hennell Data flow analysis of recursive
procedures . . . . . . . . . . . . . . . 48--57
A. Burns and
G. Davies Pascal-FC: a language for teaching
concurrent programming . . . . . . . . . 58--66
Fer-Jan de Vries A functional program for the fast
Fourier transform . . . . . . . . . . . 67--74
Mike Joy and
Tom Axford A standard for a graph representation
for functional programs . . . . . . . . 75--82
Shan-Jon Chao and
Barrett R. Bryant Denotational semantics for program
analysis . . . . . . . . . . . . . . . . 83--91
J. Bhasker Implementation of an optimizing compiler
for VHDL . . . . . . . . . . . . . . . . 92--108
B. J. MacLenna Four relational programs . . . . . . . . 109--119
Eric van Gestel and
Ivo van Horebeek Remarks on many-sorted equational logic
with respect to algebraic
implementations . . . . . . . . . . . . 120--126
Hal Berghel and
Richard Rankin and
Sanjiv Bhatia MS-DOS Prolog implementations revisited 127--134
Keith H. Bierman A proposal for improving optimizer
quality via dynamic analysis . . . . . . 135--136
S. Perelgut and
J. R. Cordy Turing Plus: a comparison with C and
Pascal . . . . . . . . . . . . . . . . . 137--143
Howard Trickey C++ versus LISP: a case study . . . . . 9--18
Peter Sestoft and
Harald Sòndergaard A bibliography on partial evaluation . . 19--26
P. F. Sorensen In search of program complexity . . . . 28--35
Graham Birtwistle and
Ken Loose A model for procedures passed as
parameters . . . . . . . . . . . . . . . 36--43
Carl G. Ponder Benchmark semantics . . . . . . . . . . 44--48
David Hemmendinger Unfair process scheduling in Modula-2 7--12
Frank W. Calliss Problems with automatic restructurers 13--21
Max J. Egenhofer and
Andrew U. Frank A precompiler for modular, transportable
Pascal . . . . . . . . . . . . . . . . . 22--32
Dashing Yeh and
Uwe Kastens Automatic construction of incremental
LR(1) --- parsers . . . . . . . . . . . 33--42
Antonio L. Furtado Towards functional programming in Prolog 43--52
Neelam Soundararajan and
Roger L. Costello Responsive sequential processes . . . . 53--62
Melvin Klerer and
Hong Liu A new benchmark test to estimate
optimization quality of compilers . . . 63--72
Joseph Bergin and
Stuart Greenfield What does Modula-2 need to fully support
object oriented programming? . . . . . . 73--82
Niklas Holsti Using formal procedure parameters to
represent and transmit complex data
structures . . . . . . . . . . . . . . . 83--92
P. David Coward Determining path feasibility for
commercial programs . . . . . . . . . . 93--101
Gerald Q. Maguire, Jr. and
Jonathan M. Smith Process migration: effects on scientific
computation . . . . . . . . . . . . . . 102--106
Phillippe Ranger Some comments on the forthcoming
``extended Pascal'' standard . . . . . . 107--110
Mark Molloy Comment on dpANS X3.160-198x, extended
Pascal concerning the initial value
clause . . . . . . . . . . . . . . . . . 22--26
R. Morrison and
M. P. Atkinson and
A. L. Brown and
A. Dearle Bindings persistent programming
languages . . . . . . . . . . . . . . . 27--34
Keith D. Cooper and
Ken Kennedy Efficient computation of
flow-insensitive interprocedural summary
information --- a correction . . . . . . 35--42
Alistair D. N. Edwards Visual programming languages: the next
generation . . . . . . . . . . . . . . . 43--50
Neil W. Rickert The role of the language standards
committee . . . . . . . . . . . . . . . 51--55
M. A. Bhatti Incremental execution environment . . . 56--64
S. M. Sarwar and
S. J. Hahn and
J. A. Davis Implementing functional languages on a
combinator-based reduction machine . . . 65--70
Chang Li Concurrent programming language ---
LISPTALK . . . . . . . . . . . . . . . . 71--80
David Hemmendinger The ``Hamming problem'' in Prolog . . . 81--86
Giuseppe Cattaneo and
Vincenzo Loia A Common-LISP implementation of an
extended Prolog system . . . . . . . . . 87--102
Robert B. Terwilliger Please: a language combining imperative
and logic programming . . . . . . . . . 103--110
Norman Kerth Workshop on specification and design . . 9--16
Barbara Liskov Keynote address --- data abstraction and
hierarchy . . . . . . . . . . . . . . . 17--34
Peter Wegner Panel on inheritance . . . . . . . . . . 35--40
William Cook BOF on inheritance . . . . . . . . . . . 41--42
Henry Lieberman and
Lynn Stein and
David Ungar Treaty of Orlando . . . . . . . . . . . 43--44
Michael Caruso and
Stan Zdonik Workshop on OODB semantics . . . . . . . 45--50
Peter Deutsch Workshop on tools . . . . . . . . . . . 53--58
Ralph Johnson Workshop on compiling and optimizing . . 59--65
Peter Deutsch Smalltalk standardization efforts . . . 67--68
Stan Zdonik Panel on OODB . . . . . . . . . . . . . 69--71
Satish Thatte Workshop on OODB implementation . . . . 73--87
Reid Smith Panel on design methodology . . . . . . 91--95
Michael Jackson Banquet speech --- objects and other
subjects . . . . . . . . . . . . . . . . 97--104
John Uebbing Panel on making products . . . . . . . . 105--111
David Smith Panel on visual programming . . . . . . 113--118
Eliot Moss Panel on concurrency . . . . . . . . . . 119--127
P. E. Cohen An abundance of registers . . . . . . . 24--34
Victor Schneider A pedagogic expert system shell in
Prolog . . . . . . . . . . . . . . . . . 35--38
Irving B. Elliott The PRESTO system . . . . . . . . . . . 39--48
Philip J. Beaudet and
Michael A. Jenkins Simulating the object-oriented paradigm
to Nial . . . . . . . . . . . . . . . . 49--58
Hermann Kaindl Portability of software . . . . . . . . 59--68
N. Anand Clarify function! . . . . . . . . . . . 69--79
George H. Roberts OPG: an optimizing parser generator . . 80--90
Kasper Osterbye Abstract data types with shared
operations . . . . . . . . . . . . . . . 91--96
Joseph C. H. Park y+: a yacc preprocessor for certain
semantic actions . . . . . . . . . . . . 97--106
P. C. Philbrow and
I. Armour and
M. P. Atkinson and
J. Livingstone PS-Algol's device-independent output
statement . . . . . . . . . . . . . . . 107--114
David Hemmendinger The `Hamming' problem in Prolog . . . . 115--120
Peter Kokol Spreadsheet language level: how high is
it? . . . . . . . . . . . . . . . . . . 121--134
Carl G. Ponder and
Patrick McGeer and
Anthony P-C. Ng Are applicative languages inefficient? 135--139
Barry Dwyer Regular right part programming languages 140--144
Scott N. Gerard Adding an authorization dimension to
strong type checking . . . . . . . . . . 145--151
Barton P. Miller The frequency of dynamic pointer
references in ``C'' programs . . . . . . 152--156
Carl G. Ponder Benchmark semantics . . . . . . . . . . 157--161
D. R. Chase Safety consideration for storage
allocation optimizations . . . . . . . . 1--10
A. W. Appel and
J. R. Ellis and
K. Li Real-time concurrent collection on stock
multiprocessors . . . . . . . . . . . . 11--20
A. W. Appel and
J. R. Ellis and
K. Li Real-time concurrent collection on stock
multiprocessors . . . . . . . . . . . . 11--20
J. R. Larus and
P. N. Hilfinger Detecting conflicts between structure
accesses . . . . . . . . . . . . . . . . 24--31
S. Horwitz and
T. Reps and
D. Binkley Interprocedural slicing using dependence
graphs . . . . . . . . . . . . . . . . . 35--46
D. Callahan The program summary graph and
flow-sensitive interprocedural data flow
analysis . . . . . . . . . . . . . . . . 47--56
K. D. Cooper and
K. Kennedy Interprocedural side-effect analysis in
linear time . . . . . . . . . . . . . . 57--66
K. D. Cooper and
K. Kennedy Interprocedural side-effect analysis in
linear time . . . . . . . . . . . . . . 57--66
D. W. Wall Register windows vs. register allocation 67--78
C. W. Fraser and
A. L. Wendt Automatic generation of fast optimizing
code generators . . . . . . . . . . . . 79--84
F. C. Chow Minimizing register usage penalty at
procedure calls . . . . . . . . . . . . 85--94
K. Keutzer and
W. Wolf Anatomy of a hardware compiler . . . . . 95--104
K. Andrews and
R. R. Henry and
W. K. Yamamoto Design and implementation of the UW
Illustrated compiler . . . . . . . . . . 105--114
D. Yellin and
R. Strom INC: a language for incremental
computations . . . . . . . . . . . . . . 115--124
D. S. Coutant and
S. Meloy and
M. Ruscetta DOC: a practical approach to
source-level debugging of globally
optimized code . . . . . . . . . . . . . 125--134
Barton P. Miller and
Jong-Deok Choi A Mechanism for Efficient Debugging of
Parallel Programs . . . . . . . . . . . 135--144
Janice M. Stone Debugging Concurrent Processes: a Case
Study . . . . . . . . . . . . . . . . . 145--153
S. Jain and
C. Thompson An efficient approach to data flow
analysis in a multiple pass global
optimizer . . . . . . . . . . . . . . . 154--163
O. Shivers Control flow analysis in Scheme . . . . 164--174
B. Schwarz and
W. Kirchgässner and
R. Landwehr An optimizer for Ada --- design,
experiences and results . . . . . . . . 175--184
R. A. Ballance and
J. Butcher and
S. L. Graham Grammatical abstraction and incremental
syntax analysis in a language-based
editor . . . . . . . . . . . . . . . . . 185--198
F. Pfenning and
C. Elliot Higher-order abstract syntax . . . . . . 199--208
F. Pfenning and
C. Elliot Higher-order abstract syntax . . . . . . 199--208
J. A. Walz and
G. F. Johnson Incremental evaluation for a general
class of circular attribute grammars . . 209--221
U. F. Pleban and
P. Lee An automatically generated, realistic
compiler for imperative programming
language . . . . . . . . . . . . . . . . 222--232
V. Seshadri and
S. Weber and
D. B. Wortman and
C. P. Yu and
I. Small Semantic analysis in a concurrent
compiler . . . . . . . . . . . . . . . . 233--240
R. Allen and
S. Johnson Compiling C for vectorization,
parallelization, and inline expansion 241--249
J. H. Reppy Synchronous operations as first-class
values . . . . . . . . . . . . . . . . . 250--259
B. Liskov and
L. Shrira Promises: Linguistic support for
efficient asynchronous procedure calls
in distributed systems . . . . . . . . . 260--267
J. Pallas and
D. Ungar Multiprocessor Smalltalk: a case study
of a multiprocessor-based programming
environment . . . . . . . . . . . . . . 268--277
J. R. Rose Refined types: highly differentiated
type systems and their use in the design
of intermediate languages . . . . . . . 278--287
J. L. Weiner and
S. Ramakrishman A piggy-back compiler for Prolog . . . . 288--296
J. L. Weiner and
S. Ramakrishman A piggy-back compiler for Prolog . . . . 288--296
S. K. Debray Unfold/fold transformations and loop
optimization of logic programs . . . . . 297--307
S. K. Debray Unfold/fold transformations and loop
optimization of logic programs . . . . . 297--307
A. Aiken and
A. Nicolau Optimal loop parallelization . . . . . . 308--317
M. Lam Software pipelining: an effective
scheduling technique for VLIW machines 318--328
M. E. Benitez and
J. W. Davidson A portable global optimizer and linker 329--338
D. W. Jones How (not) to code a finite state machine 19--22
G. H. Roberts Recursive ascent: an LR analog to
recursive descent . . . . . . . . . . . 23--29
S. L. Payton Jones FLIC: a functional language intermediate
code . . . . . . . . . . . . . . . . . . 30--48
R. P. Weicker Dhrystone benchmark: rationale for
version 2 and measurement rules . . . . 49--62
L. Rising Tasking troubles and tips . . . . . . . 63--72
J. Paakki A note on the speed of Prolog . . . . . 73--82
G. Bohlender and
Ch. Ullrich and
J. Wolff von Gudenberg New developments in Pascal-SC . . . . . 83--92
E. Levy The Linked List Class of Modula-3 . . . 93--102
M. Share Resolving ambiguities in the parsing of
translation grammars . . . . . . . . . . 103--109
Brian N. Bershad and
Edward D. Lazowska and
Henry M. Levy and
David B. Wagner An open environment for building
parallel programming systems . . . . . . 1--9
David Notkin and
Lawrence Snyder and
David Socha and
Mary L. Bailey and
Bruce Forstall and
Kevin Gates and
Ray Greenlaw and
William G. Griswold and
Thomas J. Holman and
Richard Korry and
Gemini Lasswell and
Robert Mitchell and
Philip A. Nelson Experiences with poker . . . . . . . . . 10--20
Ziya Aral and
Ilya Gertner Non-intrusive and interactive profiling
in Parasight . . . . . . . . . . . . . . 21--30
Bernd Bruegge Program development for a systolic array 31--41
Eugene Albert and
Kathleen Knobe and
Joan D. Lukas and
Guy L. Steele, Jr. Compiling Fortran 8x array features for
the Connection Machine computer system 42--56
Michael J. Quinn and
Philip J. Hatcher and
Karen C. Jourdenais Compiling C* programs for a hypercube
multicomputer . . . . . . . . . . . . . 57--65
Howard P. Katseff Using data partitioning to implement a
parallel assembler . . . . . . . . . . . 66--76
Michael Burke and
Ron Cytron and
Jeanne Ferrante and
Wilson Hsieh and
Vivek Sarkar and
David Shields Automatic discovery of parallelism: a
tool and an experiment (extended
abstract) . . . . . . . . . . . . . . . 77--84
Zhiyuan Li and
Pen-Chung Yew Efficient interprocedural analysis for
program parallelization and
restructuring . . . . . . . . . . . . . 85--99
James R. Larus and
Paul N. Hilfinger Restructuring Lisp programs for
concurrent execution . . . . . . . . . . 100--110
Ron Goldman and
Richard P. Gabriel Qlisp: experience and new directions . . 111--123
David M. Nicol Parallel discrete-event simulation of
FCFS stochastic queueing networks . . . 124--137
Jonathan Rose The parallel decomposition and
implementation of an integrated circuit
global router . . . . . . . . . . . . . 138--145
Milind Tambe and
Dirk Kalp and
Anoop Gupta and
Charles Forgy and
Brian Milnes and
Allen Newell Soar/PSM-E: investigating match
parallelism in a learning production
system . . . . . . . . . . . . . . . . . 146--160
Thomas J. LeBlanc and
Michael L. Scott and
Christopher M. Brown Large-scale parallel programming:
experience with BBN Butterfly parallel
processor . . . . . . . . . . . . . . . 161--172
Nicholas Carriero and
David Gelernter Applications experience with Linda . . . 173--187
Ching-Cheng Lee and
Stephen Skedzielewski and
John Feo On the implementation of applicative
languages on shared-memory, MIMD
multiprocessors . . . . . . . . . . . . 188--197
Helen Davis and
John Hennessy Characterizing the synchronization
behavior of parallel programs . . . . . 198--211
Anoop Gupta and
Andrew Tucker Exploiting variable grain parallelism at
runtime . . . . . . . . . . . . . . . . 212--221
Bernd Stramm and
Francine Berman Communication-sensitive heuristics and
algorithms for mapping compilers . . . . 222--243
Rajiv Gupta and
Mary Lou Soffa Compile-time techniques for efficient
utilization of parallel memories . . . . 235--246
A. Burns and
G. L. Davies and
A. J. Wellings A Modula-2 implementation of a real-time
process abstraction . . . . . . . . . . 49--58
M. J. Kaelbling Programming languages should NOT have
comment statements . . . . . . . . . . . 59--60
P. W. Abrahams Some sad remarks about string handling
in C . . . . . . . . . . . . . . . . . . 61--68
J. E. Sammet Notes on what language maturity means,
and how to measure it . . . . . . . . . 69--71
H. Liu and
M. Klerer Timing results of various compilers
using an optimization quality benchmark 72--74
M. Klerer and
H. Liu Benchmark test to estimate optimization
quality of compilers . . . . . . . . . . 75--84
D. W. Sandberg Smalltalk and exploratory programming 85--92
P. Schnorf Dynamic instantiation and configuration
of functionally extended, efficient
lexical analysers . . . . . . . . . . . 93--102
C. Genillard and
A. Strohmeier GRAMOL . . . . . . . . . . . . . . . . . 103--122
J. W. Warfield and
H. R. Bauer III An expert system for a retargetable
peephole optimizer . . . . . . . . . . . 123--130
J. S. Yates and
R. A. Schwartz Dynamic programming and
industrial-strength instruction
selection: code generation by tiring,
but not exhaustive, search . . . . . . . 131--140
C. B. Weinstock and
W. A. Wulf An efficient algorithm for heap storage
allocation . . . . . . . . . . . . . . . 141--148
P. F. Lemkin PSAIL: a portable SAIL to C compiler ---
description and tutorial . . . . . . . . 149--171
D. M. Dhamdhere A fast algorithm for code movement
optimisation . . . . . . . . . . . . . . 172--180
F. Mellender An integration of logic and
object-oriented programming . . . . . . 181--185
J. E. Lang Grammars for FFP . . . . . . . . . . . . 186--190
David Ungar and
Frank Jackson Tenuring policies for generation-based
storage reclamation . . . . . . . . . . 1--17
Ralph E. Johnson and
Justin O. Graver and
Laurance W. Zurawski TS: an optimizing compiler for Smalltalk 18--26
John R. Rose Fast dispatch mechanisms for stock
hardware . . . . . . . . . . . . . . . . 27--35
Pedro Szekely and
Brad Myers A user interface toolkit based on
graphical objects and constraints . . . 36--45
Andre Weinand and
Erich Gamma and
Rudolf Marty ET++: an object oriented application
framework in C++ . . . . . . . . . . . . 46--57
Martha R. Szczur and
Philip Miller Transportable Applications Environment
(TAE) plus experiences in
``Object''-ively modernizing a user
interface environment . . . . . . . . . 58--70
Rebecca Wirfs-Brock An integrated color Smalltalk-80 system 71--82
Danny Epstein and
Wilf R. LaLonde A Smalltalk window system based on
constraints . . . . . . . . . . . . . . 83--94
S. Sridhar Configuring stand-alone Smalltalk-80
applications . . . . . . . . . . . . . . 95--104
Wilf R. LaLonde and
Mark Van Gulik Building a backtracking facility in
Smalltalk without kernel support . . . . 105--122
Allen Wirfs-Brock and
Brian Wilkerson A overview of modular Smalltalk . . . . 123--134
Dave Thomas and
Kent Johnson Orwell: a configuration management
system for team programming . . . . . . 135--141
Won Kim and
Nat Ballou and
Jay Banerjee and
Hong-Tai Chou and
Jorge G. Garza and
Darrell Woelk Integrating an object-oriented
programming system with a database
system . . . . . . . . . . . . . . . . . 142--152
Joshua Duhl and
Craig Damon A performance comparison of object and
relational databases using the Sun
Benchmark . . . . . . . . . . . . . . . 153--163
David Beech Intensional concepts in an object
database model . . . . . . . . . . . . . 164--175
Dan Ingalls and
Scott Wallace and
Yu-Ying Chow and
Frank Ludolph and
Ken Doyle Fabrik: a visual programming environment 176--190
Michael F. Kleyn and
Paul C. Gingrich GraphTrace: Understanding
Object-Oriented Systems Using
Concurrently Animated Views . . . . . . 191--205
Anders Bjornerstedt and
Stefan Britts AVANCE: an object management system . . 206--221
C. A. Scaletti and
R. E. Johnson An interactive environment for
object-oriented music composition and
sound synthesis . . . . . . . . . . . . 222--233
Kenneth S. Rubin and
Patricia M. Jones and
Christine M. Mitchell and
Theodore C. Goldstein A Smalltalk implementation of an
intelligent operator's associate . . . . 234--247
Vincent Russo and
Gary Johnston and
Roy Campbell Process management and exception
handling in multiprocessor operating
systems using object-oriented design
techniques . . . . . . . . . . . . . . . 248--258
Norihiko Yoshida and
Kouji Hino An object-oriented framework of pattern
recognition systems . . . . . . . . . . 259--267
Mehmet Aksit and
Anand Tripathi Data abstraction mechanisms in SINA/ST 267--275
Satoshi Matsuoka and
Satoru Kawai Using tuple space communication in
distributed object-oriented languages 276--284
James Rumbaugh Controlling propagation of operations
using attributes on relations . . . . . 285--296
Etsuya Shibayama How to invent distributed implementation
schemes of an object-based concurrent
language: a transformational approach 297--305
Takuo Watanabe and
Akinori Yonezawa Reflection in an object-oriented
concurrent language . . . . . . . . . . 306--315
Edward H. Bensley and
Thomas J. Brando and
Myra Jean Prelle An execution model for distributed
object-oriented computation . . . . . . 316--322
K. Lieberherr and
I. Holland and
A. Riel Object-oriented programming: an
objective sense of style . . . . . . . . 323--334
Bruno Alabiso Transformation of data flow analysis
models to object oriented design . . . . 335--335
Antonio Corradi and
Letizia Leonardi The role of opaque types to build
abstractions . . . . . . . . . . . . . . 24--37
Markku Sakkinen Comments on ``The Law of Demeter'' and
C++ . . . . . . . . . . . . . . . . . . 38--44
Dashing Yeh and
Uwe Kastens Improvements of an incremental
evaluation algorithm for ordered
attribute grammars . . . . . . . . . . . 45--50
Nikola B. Serbedzija Asynchronous communication in Occam . . 51--62
Timothy A. Budd Time space tradeoffs in vector
algorithms for APL functions . . . . . . 63--68
Paul W. Oman and
Curtis R. Cook A paradigm for programming style
research . . . . . . . . . . . . . . . . 69--78
Christian Neusius Portable software in modular Pascal . . 79--85
Antonio L. Furtado and
Paulo A. S. Veloso Iteration for applicative languages . . 86--94
D. A. Sewry Process scheduling in Modula-2 . . . . . 95--97
Paul R. Wilson Opportunistic garbage collection . . . . 98--102
R. T. House A problem with extended Pascal . . . . . 103--114
David E. Boddy SOS: a monitor-based operating system
for instruction . . . . . . . . . . . . 115--124
Daniel Sharpe Adding regular expressions to Pascal . . 125--133
B. Meek Language standards committees and
revisions . . . . . . . . . . . . . . . 134--142
David Spector Efficient full LR(1) parser generation 143--150
Thomas A. Kovats Comments on innovative control
constructs in Pancode and EPN . . . . . 151--157
I. J. P. Elshoff A distributed debugger for Amoeba . . . 1--10
Peter Bates Debugging heterogeneous distributed
systems using event-based models of
behavior . . . . . . . . . . . . . . . . 11--22
Chu-Chung Lin and
Richard J. LeBlanc Event-based debugging of object/action
programs . . . . . . . . . . . . . . . . 23--34
David D. Redell Experience with Topaz teledebugging . . 35--44
David L. Black and
David B. Golub and
Karl Hauth and
Avadis Tevanian and
Richard Sanzi The Mach exception handling facility . . 45--56
Larry D. Wittie Debugging distributed C programs by real
time reply . . . . . . . . . . . . . . . 57--67
Hideyuki Tokuda and
Makoto Kotera and
Clifford E. Mercer A real-time monitor for a distributed
real-time operating system . . . . . . . 68--77
William F. Appelbe and
Charles E. McDowell Integrating tools for debugging and
developing multitasking programs . . . . 78--88
Perry A. Emrath and
David A. Padua Automatic detection of nondeterminacy in
parallel programs . . . . . . . . . . . 89--99
David Callahan and
Jaspal Sublok Static analysis of low-level
synchronization . . . . . . . . . . . . 100--111
Stuart I. Feldman and
Channing B. Brown IGOR: a system for program debugging via
reversible execution . . . . . . . . . . 112--123
Douglas Z. Pan and
Mark A. Linton Supporting reverse execution for
parallel programs . . . . . . . . . . . 124--129
Alessandro Forin Debugging of heterogeneous parallel
systems . . . . . . . . . . . . . . . . 130--140
Barton P. Miller and
Jong-Deok Choi A mechanism for efficient debugging of
parallel programs . . . . . . . . . . . 141--150
Ziya Aral and
Ilya Gertner High-level debugging in Parasight . . . 151--162
Robert J. Fowler and
Thomas J. LeBlanc and
John M. Mellor-Crummey An integrated approach to parallel
program debugging and performance
analysis on large-scale multiprocessors 163--173
Bernd Bruegge and
Thomas Gross A program debugger for a systolic array:
design and implementation . . . . . . . 174--182
C. J. Fidge Partial orders for parallel debugging 183--194
Alfred A. Hough and
Janice E. Cuny Initial experiences with a
pattern-oriented parallel debugger . . . 195--205
David Socha and
Mary L. Bailey and
David Notkin Voyeur: graphical views of parallel
programs . . . . . . . . . . . . . . . . 206--215
Robert Rubin and
Larry Rudolph and
Dror Zernik Debugging parallel programs in parallel 216--225
Janice M. Stone A graphical representation of concurrent
processes . . . . . . . . . . . . . . . 226--235
Wenwey Hseush and
Gail E. Kaiser Data path debugging: data-oriented
debugging for a concurrent programming
language . . . . . . . . . . . . . . . . 236--247
Yossi Lichtenstein and
Ehud Shapiro Concurrent algorithmic debugging . . . . 248--260
E. J. Cameron and
D. Cohen The IC$^*$ system for debugging parallel
programs via interactive monitoring and
control . . . . . . . . . . . . . . . . 261--270
G. Goldszmidt and
S. Katz and
S. Yemini Interactive blackbox debugging for
concurrent languages . . . . . . . . . . 271--282
Thomas J. LeBlanc and
Barton P. Miller Workshop Summary . . . . . . . . . . . . ix--xxi
Richard N. Taylor and
Frank C. Belz and
Lori A. Clarke and
Leon Osterweil and
Richard W. Selby and
Jack C. Wileden and
Alexander L. Wolf and
Michael Young Foundations for the Arcadia environment
architecture . . . . . . . . . . . . . . 1--13
P. Borras and
D. Clement and
Th. Despeyroux and
J. Incerpi and
G. Kahn and
B. Lang and
V. Pascual Centaur: the system . . . . . . . . . . 14--24
Peter Lee and
Frank Pfenning and
Gene Rollins and
William Scherlis The ergo support system: an integrated
set of tools for prototyping integrated
environments . . . . . . . . . . . . . . 25--34
Tom Strelich The Software Life Cycle Support
Environment (SLCSE): a computer based
framework for developing software
systems . . . . . . . . . . . . . . . . 35--44
Shaye Koenig (ISEF): an integrated
industrial-strength software engineering
framework . . . . . . . . . . . . . . . 45--54
Geoffrey M. Clemm The workshop system: a practical
knowledge-based software environment . . 55--64
Naftaly H. Minsky and
David Rozenshtein A software development environment for
law-governed systems . . . . . . . . . . 65--75
Thomas Rodden and
Pete Sawyer and
Ian Sommerville Interacting with an active, integrated
environment . . . . . . . . . . . . . . 76--84
Lung-Chun Liu and
Ellis Horowitz Object database support for a software
project management environment . . . . . 85--96
Karen E. Huff and
Victor R. Lesser A plan-based intelligent assistant that
supports the software development . . . 97--106
David Notkin The relationship between software
development environments and the
software process . . . . . . . . . . . . 107--109
Robert L. Nord and
Frank Pfenning The ergo attribute system . . . . . . . 110--120
Bowen Alpern and
Alan Carle and
Barry Rosen and
Peter Sweeney and
Kenneth Zadeck Graph attribution as a specification
paradigm . . . . . . . . . . . . . . . . 121--129
Jack C. Wileden and
Alexander L. Wolf and
Charles D. Fisher and
Peri L. Tarr Pgraphite: an experiment in persistent
typed object management . . . . . . . . 130--142
Michel Beaudouin-Lafon User interface support for the
integration of software tools: an iconic
model of interaction . . . . . . . . . . 143--152
Lori A. Clarke and
Debra J. Richardson and
Steven J. Zeil TEAM: a support environment for testing,
evaluation, and analysis . . . . . . . . 153--162
Uday S. Reddy Transformational derivation of programs
using the focus system . . . . . . . . . 163--172
Claus Lewerentz Extended programming in the large in a
software development environment . . . . 173--182
J. Walpole and
G. S. Blair and
J. Malik and
J. R. Nicol A unifying model for consistent
distributed software development
environments . . . . . . . . . . . . . . 183--190
Axel Mahler and
Andreas Lampen An integrated toolset for engineering
software configurations . . . . . . . . 191--200
Ellis S. Cohen and
Dilip A. Soni and
Raimund Gluecker and
William M. Hasling and
Robert W. Schwanke and
Michael E. Wagner Version management in Gypsy . . . . . . 201--215
Dennis Heimbigner and
Steven Krane A graph transform model for
configuration management environments 216--225
Maria H. Penedo and
Erhard Ploedereder and
Ian Thomas Object management issues for software
engineering environments workshop report 226--234
Robert Munck and
Patricia Oberndorf and
Erhard Ploedereder and
Richard Thall An overview of DOD-STD-1838 A (proposed)
the common APSE interface set: revision 235--247
Gerard Boudier and
Ferdinando Gallo and
Regis Minot and
Ian Thomas An overview of PCTE and PCTE+ . . . . . 248--257
George W. Leach Book Review: C Traps and Pitfalls by
Andrew Koenig: (Reading, MA:
Addison-Wesley, 1989, ISBN
0-201-17928-8) . . . . . . . . . . . . . 20--22
A. J. E. van Delft Comments on Oberon . . . . . . . . . . . 23--30
Ming-Yuan Y. Zhu AUTO STAR --- a software development
system . . . . . . . . . . . . . . . . . 31--45
J. Ángel Velázquez Iturbide Formalization of the control stack . . . 46--54
Markku Sakkinen How to best return the value of a
function . . . . . . . . . . . . . . . . 55--56
Kevin Atteson and
Michael Lorenz and
William F. Dowling NARPL: a solution to the student
compiler project problem . . . . . . . . 57--66
Karl J. Lieberherr and
Ian Holland Formulations and benefits of the Law of
Demeter . . . . . . . . . . . . . . . . 67--78
Peter Grogono Comments, assertions, and pragmas . . . 79--84
Dan Jonsson Next: the elimination of Goto-patches? 85--92
Robert Balzer and
Richard P. Gabriel and
Frank Belz and
Robert Dewar and
David Fisher and
John Guttag and
Paul Hudak and
Mitchell Wand Draft report on requirements for a
common prototyping system . . . . . . . 93--161
R. P. Gabriel Draft report on requirements for a
common prototyping system . . . . . . . 93--165
Jean-Pierre Briot and
Jean de Ratuld Design of a distributed implementation
of ABCL/1 . . . . . . . . . . . . . . . 15--17
P. A. Buhr and
Glen Ditchfield and
C. R. Zarnke Adding concurrency to a statically
type-safe object-oriented programming
language . . . . . . . . . . . . . . . . 18--21
Yves Caseau A model for a reflective object-oriented
language . . . . . . . . . . . . . . . . 22--24
Lawrence A. Crowl A uniform object model for parallel
programming . . . . . . . . . . . . . . 25--27
William J. Dally and
Andrew A. Chien Object-oriented concurrent programming
in CST . . . . . . . . . . . . . . . . . 28--31
Maurice Herlihy Taking concurrency seriously (position
paper) . . . . . . . . . . . . . . . . . 32--33
Boris Magnusson Process oriented programming . . . . . . 34--36
Paola Mello Concurrent objects in a logic
programming framework . . . . . . . . . 37--39
Piyush Mehrotra and
John Van Rosendale Concurrent object access in BLAZE 2 . . 40--42
Tatsuo Nakajima and
Yasuhiko Yokote and
Mario Tokoro and
Shinichi Ochiai and
Tatsuo Nagamatsu DistributedConcurrentSmalltalk: a
language and system for the
interpersonal environment . . . . . . . 43--45
Peter Wegner Granularity of modules in object-based
concurrent systems . . . . . . . . . . . 46--49
Akinori Yonezawa and
Takuo Watanabe An introduction to object-based
reflective concurrent computation . . . 50--54
Kaoru Yoshida and
Takashi Chikayama A$ \prime $UM $=$ Stream $+$ Object $+$
Relation . . . . . . . . . . . . . . . . 55--58
Gul Agha Foundational issues in concurrent
computing . . . . . . . . . . . . . . . 60--65
W. C. Athas and
N. J. Boden Cantor: an actor programming system for
scientific computing . . . . . . . . . . 66--68
Jean-Pierre Briot From objects to actors: study of a
limited symbiosis in Smalltalk-80 . . . 69--72
Françoise Carre and
Pascal Clere Object oriented languages and actors:
which language for a distributed
approach? . . . . . . . . . . . . . . . 73--75
Thomas W. Christopher Message Driven Computing and its
relationship to actors . . . . . . . . . 76--78
Lawrence A. Crowl Concurrent data structures and actor
programming under the Matroshka model 79--80
Guy Lapalme and
Patrick Salle Plasma-II: an actor approach to
concurrent programming . . . . . . . . . 81--83
Carl Manning A peek at Acore, an actor core language 84--86
David A. Thomas and
Wilf R. LaLonde and
John Duimovich and
Michael Wilson and
Jeff McAffer and
Brian Barry Actra --- a multitasking/multiprocessing
Smalltalk . . . . . . . . . . . . . . . 87--90
Chris Tomlinson and
Won Kim and
Mark Scheevel and
Vineet Singh and
Becky Will and
Gul Agha Rosette: An object-oriented concurrent
systems architecture . . . . . . . . . . 91--93
William L. Bain Indexed, global objects for distributed
memory parallel architectures . . . . . 95--98
E. H. Bensley and
T. J. Brando and
J. C. Fohlin and
M. J. Prelle and
A. M. Wollrath MITRE's future generation computer
architectures program . . . . . . . . . 99--101
Denis Caromel A general model for concurrent and
distributed object-oriented programming 102--104
D. Decouchant and
S. Krakowiak and
M. Meysembourg and
M. Riveill and
X. Rousset de Pina A synchronization mechanism for typed
objects in a distributed system . . . . 105--107
Les Gasser MACE: High-level distributed objects in
a flexible testbed for distributed AI
research . . . . . . . . . . . . . . . . 108--110
L. Heuser and
A. Schill and
M. Mühlhäuser Extensions to the object paradigm for
the development of distributed
applications . . . . . . . . . . . . . . 111--113
B. Hindel An object-oriented programming language
for distributed systems: Heraklit . . . 114--116
Mehdi Jazayeri Objects for distributed systems . . . . 117--119
Gail E. Kaiser Concurrent MELD . . . . . . . . . . . . 120--122
John F. Koegel Parallel objects on distributed
constraint logic programming machines 123--125
M. P. Papazoglou and
J. Bubenko and
M. Norrie Intent: an integrated environment for
distributed heterogeneous databases . . 126--128
Edward J. Segall Combining object-oriented techniques
with data-driven parallel execution on
message passing, MIMD computers . . . . 129--131
Maurice P. Herlihy and
Jeannette M. Wing Linearizable concurrent objects . . . . 133--135
Gail E. Kaiser Transactions for concurrent
object-oriented programming systems . . 136--138
David E. Langworthy Evaluating correctness criteria for
transactions . . . . . . . . . . . . . . 139--141
Bruce Martin Concurrent programming vs. concurrency
control: shared events or shared data 142--144
Andrea H. Skarra Concurrency control for cooperating
transactions in an object-oriented
database . . . . . . . . . . . . . . . . 145--147
Jan van den Bos PROCOL: a protocol-constrained
concurrent object-oriented language . . 149--151
Antonio Corradi and
Letizia Leonardi PO: an object model to express
parallelism . . . . . . . . . . . . . . 152--155
Dimitris N. Christodoulakis Modeling the semantics of Smalltalk-80
with Petri nets . . . . . . . . . . . . 156--158
Martin S. Feather Language issues in the specification and
design of composite systems . . . . . . 159--161
Bernd Krämer Specifying concurrent objects . . . . . 162--164
Jeong Lim and
Ralph E. Johnson The heart of object-oriented concurrent
programming . . . . . . . . . . . . . . 165--167
Lujun Shang and
Changpeng Fan and
Lihui Xu Concurrent behaviors . . . . . . . . . . 168--170
Edward A. Luke and
Helen C. Takacs and
William C. Welch Position statement on concurrent objects
for massively parallel architectures . . 171--173
Oscar M. Nierstrasz Two models of concurrent objects . . . . 174--176
Etsuya Shibayama Transformation of concurrent object
systems . . . . . . . . . . . . . . . . 177--179
Itaru Ichikawa and
Seiichi Aikawa and
Mayumi Kamiko and
Etsuo Ono and
Tomoharu Mohri Program design visualization system for
object-oriented programs . . . . . . . . 181--183
Simon M. Kaplan and
Steven K. Goering Garp: a graphical/textual language for
concurrent programming . . . . . . . . . 184--186
Minoru Uehara and
Chisato Numaoka and
Yasuhiko Yokote and
Mario Tokoro Sarek: a window system interface for
object-oriented concurrent programming
languages . . . . . . . . . . . . . . . 187--189
Charles R. Ball and
Theodore W. Leung and
Carl A. Waldspurger Analyzing patterns of message passing 191--193
Bruce A. Delagi and
Nakul P. Saraiya Elint in Lamina: application of a
concurrent object language . . . . . . . 194--196
Peter de Jong The Ubik configurator: a fusion of
messages, daemons, and rules . . . . . . 197--199
Ebba Thora Hvannberg and
Mukkai S. Krishnamoorthy An object-based parallel programming
assistant . . . . . . . . . . . . . . . 200--202
Dennis Kafura Concurrent object-oriented real-time
systems research . . . . . . . . . . . . 203--205
Martin Lester and
Roger Christensen Felix, an object-oriented operating
system . . . . . . . . . . . . . . . . . 206--208
S. A. MacKay and
W. M. Gentleman and
D. A. Stewart and
M. Wein Harmony as an object-oriented operating
system . . . . . . . . . . . . . . . . . 209--211
Libero Nigro and
Francesco Tisato Object-based real-time programming . . . 212--214
Peter Kokol Using spreadsheet software to support
metric's life cycle activities . . . . . 27--37
Paul R. Wilson A simple bucket-brigade advancement
mechanism for generation-based garbage
collection . . . . . . . . . . . . . . . 38--46
Mark Rain Portable IPC on Vanilla Unix . . . . . . 47--56
Collette Green and
Brian Meek and
K. K. Siu Quality assessment of processor
documentation . . . . . . . . . . . . . 57--65
Pierre-N. Robillard Automating comments . . . . . . . . . . 66--70
G. A. Ringwood SLD: a folk acronym? . . . . . . . . . . 71--75
Kim Marriott and
Harald Sòndergaard On Prolog and the occur check problem 76--82
Rommert J. Casimir Fourth generation problems . . . . . . . 83--86
Paul R. Wilson and
Thomas G. Moher A ``card-marking'' scheme for
controlling intergenerational references
in generation-based garbage collection
on stock hardware . . . . . . . . . . . 87--92
P. E. Pintelas and
K. P. Ventouris and
M. D. Papassimakopoulou A translator from small Euclid to Pascal 93--101
Carl Burch A language-based design for portable
data files . . . . . . . . . . . . . . . 102--111
Jane Donaho A comparison of extended Pascal and Ada 112--120
Bob Marcus Joyce: an object-oriented decision tree
builder . . . . . . . . . . . . . . . . 121--123
R. Fischer A case against using procedure calls for
input/output . . . . . . . . . . . . . . 124--127
C. Bron and
E. J. Dijkstra A better way to combine efficient string
length encoding and zero-termination . . 11--19
B. A. Wichmann Scientific processing in ISO-Pascal: a
proposal to get the benefits of mixed
precision floating-point . . . . . . . . 20--22
Sriram Sankar A note on the detection of an Ada
compiler bug while debugging an Anna
program . . . . . . . . . . . . . . . . 23--31
A. K. Misra and
B. D. Chaudhary Modified structured decision table and
its complexity . . . . . . . . . . . . . 32--34
Keith McC. Clarke Procedure parameters can imitate
sequence concatenation . . . . . . . . . 35--36
James M. Coggins and
Gregory Bollella Managing C++ libraries . . . . . . . . . 37--48
James Kanze Handling ambiguous tokens in LR-parsers 49--54
Jon Mauney Extended Pascal is no problem . . . . . 55--58
Giulio Iannello and
Antonino Mazzeo and
Giorgio Ventre Definition of the DISC concurrent
language . . . . . . . . . . . . . . . . 59--68
G. L. Davies Developments in Pascal-FC . . . . . . . 69--76
David A. Joslin Extended Pascal --- numerical features 77--80
Brian Meek and
K. K. Siu The effectiveness of error seeding . . . 81--89
John Ophel An improved mixture rule for pattern
matching . . . . . . . . . . . . . . . . 91--96
Nigel P. Chapman Regular attribute grammars and finite
state machines . . . . . . . . . . . . . 97--105
G. A. Venkatesh A framework for construction and
evaluation of high-level specifications
for program analysis techniques . . . . 1--12
Robert Cartwright and
Matthias Felleisen The semantics of program dependence . . 13--27
Susan Horwitz and
Phil Pfeiffer and
Thomas Reps Dependence analysis for pointer
variables . . . . . . . . . . . . . . . 28--40
Vasanth Balasundaram and
Ken Kennedy A technique for summarizing data access
and its use in parallelism enhancing
transformations . . . . . . . . . . . . 41--53
Ron Cytron and
Michael Hind and
Wilson Hsieh Automatic generation of DAG parallelism 54--68
Anne Rogers and
Keshav Pingali Process decomposition through locality
of reference . . . . . . . . . . . . . . 69--80
David A. Kranz and
Robert H. Halstead, Jr. and
Eric Mohr Mul-T: a high-performance parallel Lisp 81--90
Thomas Gross and
Angelika Zobel and
Markus Zolg Parallel compilation for a parallel
machine . . . . . . . . . . . . . . . . 91--100
Waldemar Horwat and
Andrew A. Chien and
William J. Dally Experience with CST: programming and
implementation . . . . . . . . . . . . . 101--109
Philip J. Koopman, Jr. and
Peter Lee A fresh look at combinator graph
reduction (or, Having a TIGRE by the
tail) . . . . . . . . . . . . . . . . . 110--119
Rodney Farrow and
Alec G. Stanculescu A VHDL compiler based on attribute
grammar methodology . . . . . . . . . . 120--130
H. H. Vogt and
S. D. Swierstra and
M. F. Kuiper Higher order attribute grammars . . . . 131--145
Craig Chambers and
David Ungar Customization: optimizing compiler
technology for SELF, a dynamically-typed
object-oriented programming language . . 146--160
Gordon V. Cormack An LR substring parser for noncorrecting
syntax error recovery . . . . . . . . . 161--169
Daniel J. Salomon and
Gordon V. Cormack Scannerless NSLR(1) parsing of
programming languages . . . . . . . . . 170--178
J. Heering and
P. Klint and
J. Rekers Incremental generation of parsers . . . 179--191
Hans-J. Boehm Type inference in the presence of type
abstraction . . . . . . . . . . . . . . 192--206
James William O'Toole, Jr. and
David K. Gifford Type reconstruction with first-class
polymorphic values . . . . . . . . . . . 207--217
Pierre Jouvelot and
David K. Gifford Reasoning about continuations with
control effects . . . . . . . . . . . . 218--226
Helmut Emmelmann and
Friedrich-Wilhelm Schröer and
Rudolf Landwehr BEG: a generator for efficient back ends 227--237
Christopher W. Fraser A language for writing code generators 238--245
Wen-Mei W. Hwu and
Pohua P. Chang Inline function expansion for compiling
C programs . . . . . . . . . . . . . . . 246--257
David Bernstein and
Dina Q. Goldin and
Martin C. Golumbic and
Hugo Krawczyk and
Yishay Mansour and
Itai Nahshon and
Ron Y. Pinter Spill code minimization techniques for
optimizing compilers . . . . . . . . . . 258--263
Rajiv Gupta and
Mary Lou Soffa and
Tim Steele Register allocation via clique
separators . . . . . . . . . . . . . . . 264--274
Preston Briggs and
Keith D. Cooper and
Ken Kennedy and
Linda Torczon Coloring heuristics for register
allocation . . . . . . . . . . . . . . . 275--284
Edith Schonberg On-the-fly detection of access anomalies 285--297
Vivek Sarkar Determining average program execution
times and their variance . . . . . . . . 298--312
Benjamin Goldberg Generational reference counting: a
reduced-communication distributed
storage reclamation scheme . . . . . . . 313--321
Russ Atkinson and
Alan Demers and
Carl Hauser and
Christian Jacobi and
Peter Kessler and
Mark Weiser Experiences creating a portable Cedar 322--329
Paul R. Wilson and
Thomas G. Moher Demonic memory for process histories . . 330--343
Chi-Hung Chi and
Hank Dietz Unified management of registers and
cache using liveness and cache bypass 344--355
Mohommedyusuf M. Sagri Rated and operating complexity of
program --- an extension to McCabe's
theory of complexity measure . . . . . . 8--12
B. Andersen Hypercube experiments with Joyce . . . . 13--22
H. Zuse and
P. Bollmann Software metrics: using measurement
theory to describe the properties and
scales of static software complexity
metrics . . . . . . . . . . . . . . . . 23--33
W. A. Baldwin A case for using procedure calls for I/O 34--36
Vitaliano Milanese Aspects of OBERON suitable for graphics
applications . . . . . . . . . . . . . . 37--45
K. Bothe and
B. Hohberg and
Ch. Horn and
O. Wikarski A Portable High-Speed PASCAL to C
Translator . . . . . . . . . . . . . . . 60--65
Defu Zhang and
Peigen Yang and
Zhongxiu Sun SN-2: a data acquisition and processing
system . . . . . . . . . . . . . . . . . 66--71
Vesa Hirvisalo and
Jari Arkko and
Juha Kuusela and
Esko Nuutila and
Markku Tamminen XE design rationale: Clu revisited . . . 72--79
Matthew Huntbach Implementing a graph-colouring algorithm
in Parlog . . . . . . . . . . . . . . . 80--85
Arno J. Klaassen and
Anton M. van Wezenbeek A three-processor Lisp machine
architecture based on statistical
analysis of Common Lisp programs . . . . 86--91
Ming-Yuan Y. Zhu Transformational programming: the
derivation of a Prolog interpretation
algorithm . . . . . . . . . . . . . . . 92--111
Richard S. Wiener and
Lewis J. Pinson A practical example of multiple
inheritance in C++ . . . . . . . . . . . 112--115
Kirt A. Winter and
Curtis R. Cook A prototype intelligent prettyprinter
for Pascal . . . . . . . . . . . . . . . 116--125
Chul-Doo Jung and
Ernest Sibert Indirect naming in distributed
programming languages . . . . . . . . . 126--132
Ch. Rapin Procedural objects in Newton . . . . . . 133--141
R. A. Frost Application programming as the
construction of language interpreters 142--151
John D. Ramsdell The Alonzo functional programming
language . . . . . . . . . . . . . . . . 152--157
K. Beck and
W. Cunningham A laboratory for teaching object
oriented thinking . . . . . . . . . . . 1--6
M. B. Rosson and
E. Gold Problem-solution mapping in
object-oriented design . . . . . . . . . 7--10
K. J. Lieberherr and
A. J. Riel Contributions to teaching
object-oriented design and programming 11--22
P. R. Wilson and
T. G. Moher Design of the opportunistic garbage
collector . . . . . . . . . . . . . . . 23--35
M. Schelvis Incremental distribution of timestamp
packets: a new approach to distributed
garbage collection . . . . . . . . . . . 37--48
C. Chambers and
D. Ungar and
E. Lee An efficient implementation of SELF a
dynamically-typed object-oriented
language based on prototypes . . . . . . 49--70
R. Wirfs-Brock and
B. Wilkerson Object-oriented design: a
responsibility-driven approach . . . . . 71--75
W. C. Dietrich, Jr. and
L. R. Nackman and
F. Gracer Saving legacy with objects . . . . . . . 77--83
W. H. Harrison and
P. F. Sweeney and
J. J. Shilling Good news, bad news: experience building
software development environment using
the object-oriented paradigm . . . . . . 85--94
J. Van Den Bos and
C. Laffra PROCOL: a parallel object language with
protocols . . . . . . . . . . . . . . . 95--102
C. Tomlinson and
V. Singh Inheritance and synchronization with
enabled-sets . . . . . . . . . . . . . . 103--112
J. A. Marques and
P. Guedes Extending the operating system to
support an object-oriented environment 113--122
J. Fenton and
K. Beck Playground: an object-oriented
simulation system with agent rules for
children of all ages . . . . . . . . . . 123--137
S. S. Adams and
A. K. Nabi Neural agents --- a frame of mind . . . 139--149
F. P. Block and
N. C. Chan An extended frame language . . . . . . . 151--157
S. S. Walther and
R. L. Peskin Strategies for scientific prototyping in
Smalltalk . . . . . . . . . . . . . . . 159--167
M. E. Jerrell Function minimization and automatic
differentiation using C++ . . . . . . . 169--173
J. A. McDonald Object-oriented programming for linear
algebra . . . . . . . . . . . . . . . . 175--184
P. J. Ferrel and
R. F. Meyer Vamp: the Aldus application framework 185--188
A. V. Shah and
J. H. Hamel and
R. A. Borsari and
J. E. Rumbaugh DSM: an object-relationship modeling
language . . . . . . . . . . . . . . . . 191--202
M. B. Thuraisingham Mandatory security in object-oriented
database systems . . . . . . . . . . . . 203--210
R. Dixon and
T. McKee and
M. Vaughan and
P. Schweizer A fast method dispatcher for compiled
languages with multiple inheritance . . 211--214
Patrick H. Dussud TICLOS: an implementation of CLOS for
the Explorer family . . . . . . . . . . 215--219
A. Paepcke PCLOS: a critical review . . . . . . . . 221--253
H. Muller and
J. Rose and
J. Kempf and
T. Stansbury The use of multimethods and method
combination in a CLOS based window
interface . . . . . . . . . . . . . . . 239--253
B. M. Barry Prototyping a real-time embedded system
in Smalltalk . . . . . . . . . . . . . . 255--265
Vincent F. Russo and
Roy H. Campbell Virtual memory and backing storage
management in multiprocessor operating
systems using object-oriented design
techniques . . . . . . . . . . . . . . . 267--278
R. C. H. Conner and
A. Dearle and
R. Morrison and
A. L. Brown An object addressing mechanism for
statically typed languages with multiple
inheritance . . . . . . . . . . . . . . 279--285
T. W. Page, Jr. and
S. Berson and
W. Cheng and
R. R. Muntz An object-oriented modelling environment 287--296
W. R. Rosenblatt and
J. C. Wileden and
Alexander L. Wolf OROS: toward a type model for software
development environments . . . . . . . . 297--304
N. Graube Metaclass compatibility . . . . . . . . 305--315
J. Ferber Computational reflection in class based
object-oriented languages . . . . . . . 317--326
B. Foote and
R. E. Johnson Reflective facilities in Smalltalk-80 327--335
Trygve Reenskaug and
Anne Lise Skaar An environment for literate Smalltalk
programming . . . . . . . . . . . . . . 337--345
Y.-P. Shan An event-driven model-view-controller
framework for Smalltalk . . . . . . . . 347--352
J. J. Shiling and
P. F. Sweeney Three steps to views: extending the
object-oriented paradigm . . . . . . . . 353--361
J. Almarode Rule-based delegation for prototypes . . 363--370
N. H. Minsky and
E. Rozenshtein Controllable delegation: an exercise in
law-governed systems . . . . . . . . . . 371--380
J. Moloney and
A. Borning and
B. Freeman-Benson Constraint technology for user-interface
construction in ThingLab II . . . . . . 381--388
B. N. Freeman-Benson A module mechanism for constraints in
Smalltalk . . . . . . . . . . . . . . . 389--396
O. L. Madsen and
B. Mòller-Pedersen Virtual classes: a powerful mechanism in
object-oriented programming . . . . . . 397--406
C. H. Pedersen Extending ordinary inheritance schemes
to include generalization . . . . . . . 407--417
J.-P. Briot and
P. Cointe Programming with explicit metaclasses in
Smalltalk-80 . . . . . . . . . . . . . . 419--431
W. Cook and
J. Palsberg A denotational semantics of inheritance
and its correctness . . . . . . . . . . 433--443
A. Ohori and
P. Buneman Static type inference for parametric
classes . . . . . . . . . . . . . . . . 445--450
P. S. Canning and
W. R. Cook and
W. L. Hill and
W. G. Olthoff Interfaces for strongly-typed
object-oriented programming . . . . . . 457--467
Anonymous Critical research directions in
programming languages . . . . . . . . . 10--24
John Boone Book Review: Writing Readable Ada --- A
Case Study Approach . . . . . . . . . . 27--28
J. Heering and
P. R. H. Hendriks and
P. Klint and
J. Rekers The syntax definition formalism SDF ---
reference manual . . . . . . . . . . . . 43--75
C. Herring and
J. I. Palmore Random number generators are chaotic . . 76--79
D. J. Salomon and
G. V. Cormack Corrections to the paper: Scannerless
NSLR(1) Parsing of Programming Languages 80--83
P. Jouvelot and
B. Dehbonei Recursive Pattern Matching on concrete
data types . . . . . . . . . . . . . . . 84--93
S. D. Pezaris Shift-reduce conflicts in LR parsers . . 94--95
B. P. Pokkunuri Object Oriented Programming . . . . . . 96--101
J. L. F. De Kerf A note on the Power Operators ``Loops
are Harmful'' . . . . . . . . . . . . . 102--108
P. Grogono and
A. Bennett Polymorphism and type checking in
object-oriented languages . . . . . . . 109--115
M. B. Albizuri-Romero Programming interactively with a
graphical abstract programming language 116--124
A. S. Tanenbaum and
M. F. Kaashoek and
K. G. Langendoen and
C. J. H. Jacobs The design of very fast portable
compilers . . . . . . . . . . . . . . . 125--131
P. Van Roy A useful extension to Prolog's definite
clause grammar notation . . . . . . . . 132--134
D. Jonsson Pancode assessed . . . . . . . . . . . . 17--20
S. Nemecek An anomaly found during the
implementation of a $2$-dimensional
dataflow editor for constructing
dataflow graphs in NAKL: not another
keypunch language . . . . . . . . . . . 21--23
R. L. Levien Io: a new programming notation . . . . . 24--31
J. E. Shopiro An example of multiple inheritance in
C++: a model of the iostream library . . 32--36
John A. Trono A Comparison of Three Strategies for
Computing Letter Oriented, Minimal
Perfect Hashing Functions . . . . . . . 29--35
IEEE IEEE Standard for Binary Floating-Point
Arithmetic . . . . . . . . . . . . . . . 9--25