default search action

• combined dblp search
• author search
• venue search
• publication search

Authors:

• no matches

• 

Venues:

• no matches

• 

Publications:

• no matches

• 

ask others

• Google
• Google Scholar
• Semantic Scholar
• Internet Archive Scholar
• CiteSeerX
• ORCID

Refine list

refinements active!

zoomed in on ?? of ?? records

dismiss all constraints

view refined list in

dblp search

export refined list as

XML

JSON

JSONP

BibTeX

showing all ?? records

• 
  Makoto Arisawa, Minoru Iuchi:
  Fortran + preprocessor = Utopia 84. 12-15
• 
  J. G. Hunt:
  Messages in typed languages. 27-45
• 
  Wilf R. LaLonde:
  A finite state approach to operator classification. 46-54
• 
  James R. Low:
  A short note on scanning signed integers. 55-56
• 
  John R. Metzner:
  A graded bibliography on macro systems and extensible languages. 57-64
• 
  R. Moya, I. Ramos:
  SP-Grammars: context-free grammars for structured programming. 69-76
• 
  James M. Sakoda:
  DYSTAL 2: a general purpose extension of FORTRAN. 77-90
• 
  Ian Sommerville:
  S-SNOBOL: structured SNOBOL4. 91-99
• 
  Kuo-Chung Tai:
  On the implementation of parsing tables. 100-101
• 
  Roland Carl Backhouse, Stuart Oliver Anderson:
  Least-cost repair of syntax errors. 102-104

• 
  Robert G. Clark:
  Interactive input in PASCAL. 9-13
• 
  Irving B. Elliott:
  DLP: a design language pre-processor. 14-20
• 
  Glenn A. Jackson:
  Two-dimensional grammars and structured programming languages. 21-28
• 
  Rob Kling, Walt Scacchi:
  The DoD common high order programming language effort (DoD-1): what will the impacts be? 29-43
• 
  Barry K. Rosen:
  Stickiness and liveness. 44-45
• 
  Valentin F. Turchin:
  A supercompiler system based on the language REFAL. 46-54
• 
  Paulo A. S. Veloso:
  Traversable stack with fewer errors. 55-59
• 
  David A. Watt:
  An extended attribute grammar for Pascal. 60-74

• 
  Tom H. Axford, Diana Burkhardt, W. Peter Dodd, Susan Laflin, D. G. Parkyn, P. Ramsay:
  ATOL: a simple language with powerful data structuring facilities. 5-15
• 
  Ned Chapin:
  Full report of the Flowchart Committee on ANS Standard X3.5-1970. 16-27
• 
  Sam Kamin:
  Some definitions for algebraic data type specifications. 28-37
• 
  Leslie Lamport:
  A general construction for expressing repetition. 38-42

• 
  Paul W. Abrahams:
  The map coloring problem. 10-11
• 
  Karel Culík:
  The cyclomatic number and the normal number of programs. 12-17
• 
  Ralph E. Griswold, David R. Hanson, John T. Korb:
  The icon programming language: an overview. 18-31
• 
  Alois Glanc:
  On expressing control and data structures in predicate logic language ALGOL M. 32-34
• 
  Peter Grogono:
  On layout, identifiers and semicolons in Pascal programs. 35-40
• 
  Roy Newton:
  On exception handling with the "IRONMAN" languages, GREEN and REDL. 41-54
• 
  Roy Newton:
  Some exception handling problems in language systems displaying a multi-path capability. 55-63
• 
  Dean Schulz:
  The Intel Fortran-80 compiler for the 8080 and 8085 microprocessors. 64-76
• 
  Swiatomir G. Zabek:
  Decomposition of complex selection criteria. 77-80

• 
  Giuseppina C. Gini, Maria L. Gini, Renato Gini, Dario A. Giuse:
  A multi-task system for robot programming. 11-18
• 
  V. Chinnaswamy:
  Translation of decision tables into computer programs with the use of Carnaugh maps. 21-23
• 
  Pierre Deransart:
  The language LISP does not exist? 24-27
• 
  Frank DeRemer, Philip Levy, Steve Hanson, Philip Jackson, Richard Jüllig, Tom Pittman:
  Summary of the characteristics of several "modern" programming languages. 28-45
• 
  Deepak Kapur:
  Specifications of Majster's traversable stack and Veloso's traversable stack. 46-53
• 
  Robert K. Smart:
  Micro Extensible Programming Language. 54-63

• 
  Jean Ichbiah:
  Preliminary Ada reference manual. 1-145

• 
  Jean Ichbiah, Bernd Krieg-Brückner, Brian A. Wichmann, John G. P. Barnes, Olivier Roubine, Jean-Claude Heliard:
  Rationale for the design of the Ada programming language. 1-261

• 
  B. Tim Denvir:
  On orthogonality in programming languages. 18-30
• 
  Howard Fosdick:
  High-level languages for operating systems development: a historical overview. 31-37
• 
  Dick Grune:
  Some statistics on ALGOL 68 programs. 38-46
• 
  Michael A. Hennell:
  The role of procedural parameters in high order languages. 47-50
• 
  Bruce J. MacLennan:
  Observations on the differences between formulas and sentences and their application to programming language design. 51-61
• 
  Andrew D. McGettrick:
  Aspects of the ALGOL 68 mode structure. 62-77
• 
  Fernando Orejas:
  On the power of conditional specifications. 78-81
• 
  Naveen Prakash, Y. K. Sharma:
  An integrated data base language. 82-96

Proceedings of the 1979 SIGPLAN symposium on Compiler construction

• 
  Stephen C. Johnson:
  Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction, Denver, Colorado, USA, August 6-10, 1979. ACM 1979, ISBN 0-89791-002-8 [contents]

• 
  Paul W. Abrahams:
  The PL/I standard: an apostate's view. 15-16
• 
  J. Eugene Ball, G. J. Williams, James R. Low:
  Preliminary ZENO language description. 17-34
• 
  Daniel M. Berry, Richard L. Schwartz:
  Type equivalence in strongly typed languages: one more look. 35-41
• 
  G. G. Gustafson:
  Some practical experiences formatting Pascal programs. 42-49
• 
  David C. Pflasterer:
  Application of a remote code generator. 50-58
• 
  Samuel T. Redwine Jr.:
  Using COBOL macroprocessing for reliable parameter passing. 59-60
• 
  Arthur Sale:
  Scope and Pascal. 61-63
• 
  John F. Shoch:
  An overview of the programming language Smalltalk-72. 64-73
• 
  John D. Ramsdell:
  Prettyprinting structured programs with connector lines. 74-75

• 
  Shimon Cohen:
  The A-TABLE data-type for LISP systems. 36-47
• 
  Jed Marti, Anthony C. Hearn, Martin L. Griss, C. Griss:
  Standard LISP report. 48-68
• 
  Edmond Schonberg:
  Hierarchical design and efficient implementation in SETL: a case study. 69-74
• 
  Tim Teitelbaum:
  The Cornell Program Synthesizer: a syntax-directed programming environment. 75
• 
  Paulo A. S. Veloso:
  Traversable stack with fewer errors: addenda and corrigenda. 76

• 
  Jan A. Bergstra, John V. Tucker:
  On the adequacy of finite equational methods for data type specification. 13-18
• 
  Charles Crowley, Gary Klimowicz:
  A note on procedure timing. 19-22
• 
  David Feign:
  A note on loop "optimization". 23-25
• 
  Gerald A. Fisher, Manfred Weber:
  LALR(1) parsing for languages without reserved words. 26-30
• 
  Roy F. Keller:
  On selective and repetitive constructs. 60-63
• 
  Janusz W. Laski:
  An approach to loop programs debugging. 64-72
• 
  Janusz W. Laski:
  On readability of programs with loops. 73-83
• 
  James M. Nead:
  On the semantics of control statements. 84-96
• 
  Colin Runciman:
  Scarcely variabled programming and Pascal. 97-106
• 
  Antonio Salvadori, Christine Dumont:
  Some inconsistencies in programming language implementation. 107-109
• 
  B. Srinivasan, V. Gopalakrishna:
  Control flow complexity and structuredness of programs. 110-115
• 
  Th. A. Zoethout, E. I. N. Stein:
  Why the goto is harmful. 116-122

• 
  Anthony C. Hearn, Arthur C. Norman:
  A one-pass prettyprinter. 50-58
• 
  Coenraad Bron, E. J. Dijkstra:
  A discipline for the programming of interactive I/O in Pascal. 59-61
• 
  Norman L. Soong:
  An overview of an organized industrial research and development activity for language and language processors. 62-63
• 
  H. C. Gyllstrom, Ross C. Knippel, Larry C. Ragland, K. E. Spackman:
  The universal compiling system. 64-70
• 
  Harry C. Heacox Jr.:
  RDL: a language for software development. 71-79
• 
  Stephen R. Greenwood:
  MACRO: a programming language. 80-91
• 
  Thomas N. Turba:
  General Syntax Analyzer (GSA). 92-109
• 
  Jolene J. Hart:
  The Advanced Interactive Debugging System (AIDS). 110-121
• 
  William F. Rohde:
  Language tools for data access: past, present and future. 122-141

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.

Unpaywalled article links

Add open access links from to the list of external document links (if available).

load links from unpaywall.org

Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.

Archived links via Wayback Machine

For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).

load content from archive.org

Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.

Reference lists

Add a list of references from , , and to record detail pages.

load references from crossref.org and opencitations.net

Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.

Citation data

Add a list of citing articles from and to record detail pages.

load citations from opencitations.net

Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.

OpenAlex data

Load additional information about publications from .

load data from openalex.org

Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.

last updated on 2025-12-09 23:27 CET by the dblp team

 all metadata released as open data under CC0 1.0 license

see also: Terms of Use | Privacy Policy | Imprint

dblp was originally created in 1993 at:

 

since 2018, dblp has been operated and maintained by:

 

the dblp computer science bibliography is funded and supported by: