Journal: SIGPLAN Notices

Volume 18, Issue 9

26 -- 30Rommert J. Casimir. Collections of variables
31 -- 34Darrel C. Ince. A compatibility software tool for use with separately compiled languages
35 -- 44Fahimeh Jalili. A general linear-time evaluator for attribute grammars
45 -- 54B. A. E. Meekings. Style analysis of Pascal programs
55 -- 58Huub Mulders. Some observations on the in- and output in high-level languages
59 -- 61David Spector. Language features to support reusability
62 -- 69Jacques J. Tamine. On the use of tree-like structures to symplify measures of complexity
70 -- 78C. K. Yuen. The programmer as navigator: a discourse on program structure

Volume 18, Issue 8

1 -- 3Wayne C. Gramlich. Debugging methodology: session summary
4 -- 8Dick Hamlet. Debugging "level": step-wise debugging
9 -- 22Rich Seidner, Nick Tindall. Interactive debug requirements
23 -- 24Mark A. Linton, Robert Balzer, R. J. Cunningham, C. Cordell Green, Robert Sedlmeyer, Elliott Solloway, William R. Swartout, Pamela Zave. Knowledge-based debugging: session summary
25 -- 31Robert L. Sedlmeyer, William B. Thompson, Paul E. Johnson. Knowledge-based fault localization in debugging: preliminary draft
32 -- 33Peter Bates. Requirements/design debugging: session summary
34 -- 44Bernd Bruegge, Peter G. Hibbard. Generalized path expressions: a high level debugging mechanism
45 -- 52Lori A. Clarke, Debra J. Richardson. The application of error-sensitive testing strategies to debugging
53 -- 59Claude Jard, Gregor V. Bochmann. An approach to testing specifications
60 -- 62Insup Lee. Integrated environments
63 -- 66Zen Kishimoto. An experimental debugger in a limited programming environment
67 -- 70Michael L. Powell, Mark A. Linton. A database model of debugging
71 -- 80Martin Mikelsons. Interactive program execution in Lispedit
81 -- 90Monika Müllerburg. The role of debugging within software engineering environments
91 -- 95Harald Wertz. An integrated Lisp programming environment
96 -- 97Thomas Gross. Distributed debugging: session summary
98 -- 106Fabrizio Baiardi, Nicoletta De Francesco, E. Matteoli, S. Stefanini, Gigliola Vaglini. Development of a debugger for a concurrent language
107 -- 111Peter C. Bates, Jack C. Wileden. An approach to high-level debugging of distributed systems: preliminary draft
112 -- 113Jonice Cynthia Weber. Interactive debugging of concurrent programs
114 -- 116Janice Cynthia Weber. Implementation issues: session summary
117 -- 120Michael S. Kenniston, Russ Atkinson. Implementation issues II
121 -- 122Knut Barra, Hans Petter Dahle. SIMOB: a portable toolbox for observation of SIMULA executions
123 -- 129Jeanne Ferrante. High level language debugging with a compiler
130 -- 139Peter Fritzson. A systematic approach to advanced debugging: incremental compilation
140 -- 144W. Morven Gentleman, Henry Hoeksma. Hardware assisted high level debugging: preliminary draft
145 -- 148Charles R. Hill. A real-time microprocessor debugging technique
149 -- 151John D. Johnson, Gary W. Kenney. Implementation issues for a source level symbolic debugger
152 -- 154Karl J. Ottenstein, Linda M. Ottenstein. High-level debugging assistance via optimizing compiler technology
155 -- 158Ron Tischler, Robin Schaufler, Charlotte Payne. Static analysis of programs as an aid to debugging
159 -- 172Polle T. Zellweger. An interactive high-level debugger for control-flow optimized programs
173 -- 179Bert Beander. VAX DEBUG: an interactive, symbolic, multilingual debugger
180 -- 189James R. Cardell. Multilingual debugging with the SWAT high-level debugger
190 -- 200Thomas A. Cargill. The blit debugger: preliminary draft
201 -- 202Robert P. Cook, Insup Lee. DYMOS: a dynamic modification system
203 -- 205Carol K. Walter. DELTA: the Universal Debugger for CP-6
206 -- 0Mark Scott Johnson. Summary of evaluation and comments

Volume 18, Issue 7

15 -- 24Jacques Calmet, R. M. di Scala. Pascal as host language of computer algebra systems
25 -- 44Harry Feldmann. Acceptive grammars
45 -- 49Gebhard Greiter. Comparing two definitions for the notion "data type"
50 -- 59Kurt Guntheroth. The new ANSI BASIC standard
60 -- 61Steven Gutfreund. Tracing offensive values from exceptions
62 -- 64Edward G. Nilges. On bugs and swarms: towards a sociobiology of programming?
65 -- 74Ikuo Takeuchi, Hiroshi G. Okuno, Nobuyasu Ohsato. TAO: a harmonic mean of Lisp, Prolog and Smalltalk
75 -- 79John R. Thompson. The use and abuse of formal proofs

Volume 18, Issue 6

1 -- 13Butler W. Lampson, Eric E. Schmidt. Organizing software in a distributed environment
14 -- 21Michael L. Powell, Mark A. Linton. Visual abstraction in an interactive programming environment
22 -- 27U. Honschopp, Wolfram-Manfred Lippe, Friedemann H. Simon. Compiling functional languages for von Neumann machines
28 -- 40Rodney Farrow. Attribute grammars and data-flow languages
41 -- 52Juha Heinänen. A programmer controlled approach to data and control abstraction
53 -- 64William E. Weihl, Barbara Liskov. Specification and implementation of resilient, atomic data types
65 -- 72Thomas J. LeBlanc, Robert P. Cook. An analysis of language models for high-performance communication in local-area networks
73 -- 82Robert E. Strom, Shaula Yemini. NIL: An integrated language and system for distributed programming
83 -- 93Joachim W. Schmidt, Manuel Mall. Abstraction mechanisms for database programming
94 -- 99Dzenan Ridjanovic, Michael L. Brodie. Action and transaction skeletons: : High level language constructs for database transactions
100 -- 111Mary Shaw, Ellen Borison, Michael Horowitz, Tom Lane, David Nichols, Randy Pausch. Descartes: A programming-language approach to interactive display interfaces
112 -- 117Dan R. Olsen Jr., Elizabeth P. Dempsey. Syntax directed graphical interaction
118 -- 136Michel Pilote. A programming language framework for designing user interfaces
137 -- 148Harold L. Ossher, Brian K. Reid. Fable: A programming-language solution to IC process automation problems
149 -- 157Stephen W. Smoliar, David R. Barstow. Who needs languages, and why do they need them? or no matter how high the level, it's still programming
158 -- 165Marc D. Donner. The design of OWL a language for walking
166 -- 169Richard Zippel. Capsules
170 -- 177Gordon S. Novak Jr.. Data abstraction in GLISP
178 -- 186Antonio Albano. Type hierarchies and Semantic Data Models
187 -- 191Gordon V. Cormack. Extensions to static scoping
192 -- 201Isabel Gouveia Lima, Richard P. Hopkins, Lindsay Marshall, David Mundy, Philip C. Treleaven. Decentralised control flow - based on UNIX
202 -- 211Jon Shultis. A functional shell
212 -- 219Christopher W. Fraser, David R. Hanson. A high-level programming and command language

Volume 18, Issue 5

11 -- 14Sergio Antoy, Giuliana Dettori. Is Pascal suitable for GKS?
15 -- 24David E. Boddy. Implementing data abstractions and monitors in UCSD Pascal
25 -- 40James Harle. The proposed standard for Basic
41 -- 43Arun Lakhotia. An improvement over: "an improvement over deeply nested IF-THEN-ELSE control structure"
44 -- 45Philip Machanick. A note on C. S. Wetherell's "Problems with the Ada reference grammar"
46 -- 56Richard A. O'Keefe. Prolog compared with LISP?
57 -- 62Michael Lee Scott. Messages vs. remote procedures is a false dichotomy

Volume 18, Issue 4

45 -- 54Stowe Boyd. Modular C
55 -- 57Elfriede Fehr. The Simplest Functional Programming Language is neither Simple nor Functional
58 -- 64Rhys S. Francis. Containment Defines a Class of Recursive Data Structures
65 -- 0Norman Hardy. Nested Scopes in Pascal and Algol 68
66 -- 68Alfred Laut. An Algebraic Specification of Pascal s File Type
69 -- 79David May. OCCAM
80 -- 81Karl L. Pentzlin. Discussion of Statement Labels; Proposal of a Transfer/Junction Construct as Alternative to Goto
86 -- 94Howard E. Tompkins. In Defense of Teaching Structured COBOL as Computer Science (or, Notes on being Sage Struck)

Volume 18, Issue 3

22 -- 31Giovanni Cantone, Aniello Cimitile, Lucio Sansone. Complexity in Program Schemes: The Characteristic Polynomial
32 -- 35E. H. den Hertog, H. J. C. Gerbscheid, Martin L. Kersten. Do-Select Reconsidered
36 -- 45Bruce J. MacLennan. Overview of Relational Programming
46 -- 47Desiré Vermaak. PROGEN: A Programming Environment

Volume 18, Issue 2

37 -- 38Arol Ambler, Robert Trawick. Chatin s Graph Coloring Algorithm as a Method for Assigning Positions to Diana Attributes
39 -- 45Hans W. Barz. Implementing Semaphores by Binary Semaphores
46 -- 56Daniel M. Berry. A New Methodology for Generating Test Cases for a Programming Language Compiler
57 -- 61F. D. Boswell, M. J. Carmody, T. R. Grove. A String Extension for Pascal
62 -- 64Raphael A. Finkel. Run-time Print Values
65 -- 68Manfred Jackel. Context Senitive Formatting
69 -- 75E. M. J. C. Van Oost. DUIF: A Data-Oriented Flowchart Environmemnt

Volume 18, Issue 12

17 -- 24E. J. Brown. On the application of Rothon diagrams to data abstraction
25 -- 33James R. Comer. An experimental natural-language processor for generating data type specifications
34 -- 48Joëlle Despeyroux. An algebraic specification of a Pascal compiler
49 -- 56Harley Flanders. Coroutines in Pascal
57 -- 59W. M. Evangelist. Relationships among computational, software, and intuitive complexity
60 -- 68Josef Grosch. Type derivation graphs: a way to visualize the type building possibilities of programming languages
69 -- 85Leon S. Levy. A walk through AWK
86 -- 95B. J. MacLennan. Abstraction in the Intel iAPX-432 prototype systems implementation language
96 -- 105Gary H. Merrill. Proofs, program correctness, and software engineering
106 -- 111Paula S. Newman. IF-THEN-ELSE, again
112 -- 119Olle Olsson. The memory usage of a LISP system: the Belady life-time function
120 -- 121B. Srinivasan. Is nested control structure more complex?
122 -- 126R. Michael Wharton. A note on types and prototypes

Volume 18, Issue 11

24 -- 33Alan Burns. Enhanced input/output on Pascal
34 -- 44Stefano Ceri, Stefano Crespi-Reghizzi. Relational data bases in the design of program construction systems
45 -- 53Jason Gait. Command level software tools
54 -- 63Rainer Woitok. Abstracting linked data structures using incremental records

Volume 18, Issue 10

8 -- 11K. S. Bhaskar. How object-oriented is your system?
12 -- 15Jan van Katwijk. A preprocessor for YACC or a poor man's approach to parsing attributed grammars
16 -- 21Edward Reid. Fighting the disease: more comments after Dijkstra and Tompking
22 -- 24Michael H. Rosenbloom. Deeply nested IF-THEN-ELSE's
25 -- 32David Spector. Lexing and parsing Modula-2
33 -- 37David Taylor. An improvement to the 'if-then-else' and 'select' clauses, and some comments on Arun Lakhotias' an improvement over . .
38 -- 43Robert D. Tennent. An alternative to conformant-array parameters in Pascal
44 -- 47Joseph B. Weinman. Nestable bracketed comments

Volume 18, Issue 1

9 -- 14Joe Celko, John S. Davis, John Mitchell. A Demonstration of Three Requirements Language Systems
15 -- 22Brad J. Cox. The Object Oriented Pre-Compiler
23 -- 28Karel Culík. On Formal and Informal Proofs for Program Correctness
29 -- 34Dan R. Olsen. A Subset Algorithm for Deterministic FSMs within Deterministic PDAs
35 -- 41Uri Shani. Should Program Editors not Abandon Text Oriented Commands?
42 -- 46David Spector. The Simplest Functional Programming Language