skip to main content
Skip header Section
PASCAL user manual and reportJanuary 1974
Publisher:
  • Springer-Verlag
  • Berlin, Heidelberg
ISBN:978-3-540-06950-8
Published:01 January 1974
Pages:
188
Skip Bibliometrics Section
Bibliometrics
Skip Abstract Section
Abstract

This manual is directed to those who have previously acquired some programming skill. The intention is to provide a means of learning Pascal without outside guidance. It is based on The Programming Language Pascal (Revised Report) [1]--the basic definition of Pascal and concise reference manual for the experienced Pascal programmer.

The linear structure of a book is by no means ideal for introducing a language, whether it be a formal or natural one. Nevertheless, it is recommended to follow the given organization, paying particular attention to the example programs, and then to reread those sections causing difficulties. One may wish, however, to reference chapter 12 if troubles arise concerning the input and output conventions of the programs.

The manual was prepared as a file on a computer, that is, as a sequence of characters of a single type font. This is very convenient for the purposes of updating; unfortunately, it is sometimes a bit awkward to read. The reader is asked to be indulgent with the absence of sub- and superscripts (e.g. m raised to the power n is denoted by m**n).

Chapters 0--12 define the language Pascal and serve as a standard for both the implementor and the programmer. The implementor must regard the task of recognizing Standard Pascal as the minimum requirement of his system, while the programmer who intends his programs to be transferable from one installation to another should use only features described as Standard Pascal. On the other hand, any implementation may (and usually does) go beyond the minimum. Chapters 13 and 14 document the implementation of Pascal on the CDC 6000 machine. Chapter 13 describes the additional features of the language PASCAL 6000, whereas chapter 14 is devoted to the use of the compiler and the system under the operating system SCOPE.

References

  1. N. Wirth, The Programming Language Pascal. Acta Informatica, 1, 35--63, 1971. The Programming Language Pascal (Revised Report). Berichte der Fachgruppe Computer-Wissenschaften ETH Zurich, 5, 1973.Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. N. Wirth, "Program Development by Stepwise Refinement", Comm. ACM 14, 221--227, April 1971.Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. N. Wirth, Systematic Programming. Prentice-Hall, Inc. 1973.Google ScholarGoogle Scholar
  4. O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare, Structured Programming. Academic Press Inc. 1972.Google ScholarGoogle Scholar
  5. C. A. R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Language Pascal". Acta Informatica. 2, 335--355, 1973.Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. D. E. Knuth, The Art of Computer Programming, vol 1, Fundamental Algorithms. Addison-Wesley, 1968.Google ScholarGoogle Scholar
  7. SCOPE Reference Manual, CDC 6000 Version 4.3.1, Control Data Corporation, 1973.Google ScholarGoogle Scholar
  8. N. Wirth, "The Programming Language PASCAL". ACTA INFORMATICA, 1, 35--63, (1971).Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. N. Wirth, "Systematisches Programmieren". Teubner Verlag. Stuttgart, 1972.Google ScholarGoogle Scholar
  10. N. Wirth, "Systematics Programming". Prentice-Hall. Englewood Cliffs, 1973.Google ScholarGoogle Scholar
  11. C. A. R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Langauge PASCAL". ACTA INFORMATICA. 2, 335--355. (1973).Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. N. Wirth. "The Design of a PASCAL Compiler", SOFTWARE-Practice and Experience, 1, 309--333 (1971).Google ScholarGoogle ScholarCross RefCross Ref

Cited By

  1. Hinze R Self-certifying Railroad Diagrams Mathematics of Program Construction, (103-137)
  2. Borsotti A, Breveglieri L, Crespi Reghizzi S and Morzenti A (2018). Fast deterministic parsers for transition networks, Acta Informatica, 55:7, (547-574), Online publication date: 1-Nov-2018.
  3. Sathyanathan P, He W and Tzen T Incremental whole program optimization and compilation Proceedings of the 2017 International Symposium on Code Generation and Optimization, (221-232)
  4. ACM
    Black A, Bruce K, Homer M, Noble J, Ruskin A and Yannow R Seeking grace Proceeding of the 44th ACM technical symposium on Computer science education, (129-134)
  5. ACM
    Tenenbaum A, Weiss G and Arnow D Monetary values Proceedings of the 41st ACM technical symposium on Computer science education, (376-380)
  6. Bellia M and Occhiuto M (2008). Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, 85:1-4, (35-50), Online publication date: 20-Sep-2008.
  7. Bellia M and Occhiuto M (2008). Methods as Parameters: A Preprocessing Approach to Higher Order in Java, Fundamenta Informaticae, 85:1-4, (35-50), Online publication date: 1-Jan-2008.
  8. ACM
    Floyd R The paradigms of programming ACM Turing award lectures
  9. Van Snyder W (2007). Scientific programming in Fortran, Scientific Programming, 15:1, (3-8), Online publication date: 1-Jan-2007.
  10. Giangrande E (2007). CS1 programming language options, Journal of Computing Sciences in Colleges, 22:3, (153-160), Online publication date: 1-Jan-2007.
  11. ACM
    Utting I (2006). Problems in the initial teaching of programming using Java, ACM SIGCSE Bulletin, 38:3, (193-196), Online publication date: 26-Sep-2006.
  12. ACM
    Utting I Problems in the initial teaching of programming using Java Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education, (193-196)
  13. Gibbons J Datatype-generic programming Proceedings of the 2006 international conference on Datatype-generic programming, (1-71)
  14. ACM
    Diwan A, Waite W and Jackson M (2004). PL-detective, ACM SIGCSE Bulletin, 36:1, (80-84), Online publication date: 1-Mar-2004.
  15. ACM
    Diwan A, Waite W and Jackson M PL-detective Proceedings of the 35th SIGCSE technical symposium on Computer science education, (80-84)
  16. ACM
    Pennello T and DeRemer F (2004). Efficient computation of LALR(1) look-ahead sets, ACM SIGPLAN Notices, 39:4, (14-27), Online publication date: 1-Apr-2004.
  17. ACM
    Steele G and White J (2004). How to print floating-point numbers accurately, ACM SIGPLAN Notices, 39:4, (372-389), Online publication date: 1-Apr-2004.
  18. Pollack S and Cytron R Constant Encyclopedia of Computer Science, (445-447)
  19. Lee J and Hemmendinger D Programming linguistics Encyclopedia of Computer Science, (1475-1485)
  20. ACM
    Alm J, Baber R, Eggers S, O'Toole C and Shahab A You'd better set down for this! Proceedings of the 7th annual conference on Innovation and technology in computer science education, (14-18)
  21. ACM
    Cockshott P (2002). Vector pascal reference manual, ACM SIGPLAN Notices, 37:6, (59-81), Online publication date: 2-Jun-2002.
  22. ACM
    Alm J, Baber R, Eggers S, O'Toole C and Shahab A (2002). You'd better set down for this!, ACM SIGCSE Bulletin, 34:3, (14-18), Online publication date: 1-Sep-2002.
  23. ACM
    Harrison C (2002). ICPL, ACM SIGCSE Bulletin, 34:4, (101-105), Online publication date: 1-Dec-2002.
  24. ACM
    Gofen A (2001). From Pascal to Delphi to Object Pascal-2000, ACM SIGPLAN Notices, 36:6, (38-49), Online publication date: 1-Jun-2001.
  25. ACM
    Ching W (2000). The design and implementation of an APL dialect, ELI, ACM SIGAPL APL Quote Quad, 30:4, (69-76), Online publication date: 1-Jun-2000.
  26. ACM
    Ching W The design and implementation of an APL dialect, ELI Proceedings of the international conference on APL-Berlin-2000 conference, (69-76)
  27. ACM
    Walker R, Baniassad E and Murphy G An initial assessment of aspect-oriented programming Proceedings of the 21st international conference on Software engineering, (120-130)
  28. ACM
    Clark C (1999). Keywords, ACM SIGPLAN Notices, 34:12, (18-23), Online publication date: 1-Dec-1999.
  29. ACM
    Blume M (1999). Dependency analysis for Standard ML, ACM Transactions on Programming Languages and Systems, 21:4, (790-812), Online publication date: 1-Jul-1999.
  30. ACM
    Rosenberg J and Kölling M I/O considered harmful (at least for the first few weeks) Proceedings of the 2nd Australasian conference on Computer science education, (216-223)
  31. Pan S and Dromey R Beyond structured programming Proceedings of the 18th international conference on Software engineering, (268-277)
  32. ACM
    Kay D (1996). Bandwagons considered harmful, or the past as prologue in curriculum change, ACM SIGCSE Bulletin, 28:4, (55-58), Online publication date: 1-Dec-1996.
  33. ACM
    Wirth N Recollections about the development of Pascal History of programming languages---II, (97-120)
  34. Ophel J Incorporating an Object-Oriented Programming Language into the First Year of a Software Engineering Education Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
  35. ACM
    Dubois C, Rouaix F and Weis P Extensional polymorphism Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (118-129)
  36. ACM
    Steele G (1995). Parallelism in Lisp, ACM SIGPLAN Lisp Pointers, VIII:2, (1-14), Online publication date: 5-May-1995.
  37. Levene M and Loizou G (1995). A Graph-Based Data Model and its Ramifications, IEEE Transactions on Knowledge and Data Engineering, 7:5, (809-823), Online publication date: 1-Oct-1995.
  38. ACM
    Buneman P, Libkin L, Suciu D, Tannen V and Wong L (1994). Comprehension syntax, ACM SIGMOD Record, 23:1, (87-96), Online publication date: 1-Mar-1994.
  39. ACM
    Chesñevar C (1994). Syntactic diagrams as a tool for solving text-processing problems, ACM SIGCSE Bulletin, 26:4, (35-40), Online publication date: 1-Dec-1994.
  40. ACM
    Ritchie D The development of the C language The second ACM SIGPLAN conference on History of programming languages, (201-208)
  41. ACM
    Ritchie D (1993). The development of the C language, ACM SIGPLAN Notices, 28:3, (201-208), Online publication date: 1-Mar-1993.
  42. ACM
    Baowen X (1993). On subprograms with a variable number of parameters of varying types, ACM SIGPLAN Notices, 28:2, (14-20), Online publication date: 1-Feb-1993.
  43. ACM
    García Carrasco J (1992). A new language for multicomputer programming, ACM SIGPLAN Notices, 27:6, (47-53), Online publication date: 1-Jun-1992.
  44. ACM
    Sakharov A (1992). Macro processing in high-level languages, ACM SIGPLAN Notices, 27:11, (59-66), Online publication date: 1-Nov-1992.
  45. Bollinger T and Pletat U (1992). Knowledge in operation, IBM Journal of Research and Development, 36:6, (965-989), Online publication date: 1-Nov-1992.
  46. ACM
    Shepherd J (1991). Why a two pass front end?, ACM SIGPLAN Notices, 26:3, (88-94), Online publication date: 2-Jan-1991.
  47. ACM
    Lujun S (1991). Cluster, ACM SIGPLAN Notices, 26:1, (57-74), Online publication date: 1-Jan-1991.
  48. ACM
    Watanabe T, Sakuma K, Arai H and Umetani K (1991). Essential language el(α)—a reduced expression set language for system programming, ACM SIGPLAN Notices, 26:1, (85-98), Online publication date: 1-Jan-1991.
  49. Chang R, Ravishankar C and Slonim J A service acquisition mechanism for the client/service model in cygnus Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research, (323-345)
  50. ACM
    Lins C (1990). Programming without enumerations in Oberon, ACM SIGPLAN Notices, 25:7, (19-27), Online publication date: 1-Jul-1990.
  51. ACM
    McIntosh H and Cisneros G (1990). The programming languages REC and convert, ACM SIGPLAN Notices, 25:7, (81-94), Online publication date: 1-Jul-1990.
  52. ACM
    Sundaresan N (1990). Translation of nested Pascal routines to C, ACM SIGPLAN Notices, 25:5, (69-81), Online publication date: 1-May-1990.
  53. ACM
    Steele G and White J How to print floating-point numbers accurately Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation, (112-126)
  54. ACM
    Steele G and White J (1990). How to print floating-point numbers accurately, ACM SIGPLAN Notices, 25:6, (112-126), Online publication date: 1-Jun-1990.
  55. ACM
    Prather R (1990). Proposal for a categorical programming language, ACM SIGPLAN Notices, 25:4, (43-50), Online publication date: 1-Apr-1990.
  56. Backhouse R, Chisholm P, Malcolm G and Saaman E (1989). Do-it-yourself type theory, Formal Aspects of Computing, 1:1, (19-84), Online publication date: 1-Mar-1989.
  57. ACM
    Pintelas P, Ventouris K and Papassimakopoulou M (1989). A translator from small euclid to pascal, ACM SIGPLAN Notices, 24:5, (93-101), Online publication date: 1-May-1989.
  58. ACM
    Milanese V (1989). Aspects of OBERON suitable for graphics applications, ACM SIGPLAN Notices, 24:8, (37-45), Online publication date: 1-Aug-1989.
  59. ACM
    Bieman J and Schultz J Estimating the number of test cases required to satisfy the all-du-paths testing criterion Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification, (179-186)
  60. ACM
    Bieman J and Schultz J (1989). Estimating the number of test cases required to satisfy the all-du-paths testing criterion, ACM SIGSOFT Software Engineering Notes, 14:8, (179-186), Online publication date: 1-Dec-1989.
  61. Wolf A, Clarke L and Wileden J (1988). A Model of Visibility Control, IEEE Transactions on Software Engineering, 14:4, (512-520), Online publication date: 1-Apr-1988.
  62. ACM
    Egenhofer M and Frank A (1988). A precompiler for modular, transportable Pascal, ACM SIGPLAN Notices, 23:3, (22-32), Online publication date: 1-Mar-1988.
  63. ACM
    Bergin J and Greenfield S (1988). What does Modular-2 need to fully support object oriented programming?, ACM SIGPLAN Notices, 23:3, (73-82), Online publication date: 1-Mar-1988.
  64. ACM
    Elliott I (1988). The PRESTO system, ACM SIGPLAN Notices, 23:6, (39-48), Online publication date: 1-Jun-1988.
  65. ACM
    Kaindl H (1988). Portability of software, ACM SIGPLAN Notices, 23:6, (59-68), Online publication date: 1-Jun-1988.
  66. ACM
    Bohlender G, Ullrich C and von Gudenberg J (1988). New developments in Pascal-SC, ACM SIGPLAN Notices, 23:8, (83-92), Online publication date: 1-Aug-1988.
  67. ACM
    Ariav G and Calloway L (1988). Designing conceptual models of dialog: a case for dialog charts, ACM SIGCHI Bulletin, 20:2, (23-27), Online publication date: 1-Oct-1988.
  68. ACM
    Neusius C (1988). Portable software in modular Pascal, ACM SIGPLAN Notices, 23:12, (79-85), Online publication date: 1-Dec-1988.
  69. ACM
    Sharpe D (1988). Adding regular expressions to Pascal, ACM SIGPLAN Notices, 23:12, (125-133), Online publication date: 1-Dec-1988.
  70. ACM
    Parker J (1987). A study of record packing methods, ACM SIGPLAN Notices, 22:3, (71-77), Online publication date: 1-Mar-1987.
  71. ACM
    Nowak L (1987). SAMP: a general purpose processor based on a self-timed VLIW structure, ACM SIGARCH Computer Architecture News, 15:4, (32-39), Online publication date: 1-Sep-1987.
  72. ACM
    Richardson J and Carey M Programming constructs for database system implementation in EXODUS Proceedings of the 1987 ACM SIGMOD international conference on Management of data, (208-219)
  73. ACM
    Richardson J and Carey M (1987). Programming constructs for database system implementation in EXODUS, ACM SIGMOD Record, 16:3, (208-219), Online publication date: 1-Dec-1987.
  74. ACM
    Ardis M (1986). Comparison of algebraic and state-machine specification methods, ACM SIGSOFT Software Engineering Notes, 11:4, (54-56), Online publication date: 1-Aug-1986.
  75. ACM
    Dreiheller A, Mohr B and Moerschbacher M (1986). Programming pascal with physical units, ACM SIGPLAN Notices, 21:12, (114-123), Online publication date: 1-Dec-1986.
  76. ACM
    Shyu Y (1986). From semi-syntactic lexical analyzer to a new compiler model, ACM SIGPLAN Notices, 21:12, (149-157), Online publication date: 1-Dec-1986.
  77. ACM
    Gupta R and Soffa M SHAPE Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (107-114)
  78. ACM
    Stanculescu A (1986). Toward machine independent microcode, ACM SIGMICRO Newsletter, 17:3, (25-32), Online publication date: 1-Dec-1986.
  79. ACM
    Berry D, Yavne N and Yavne M (1986). On the requirements for the use of a program design language, ACM SIGAda Ada Letters, VI:1, (82-89), Online publication date: 1-Jan-1986.
  80. ACM
    Männer R (1986). Strong typing and physical units, ACM SIGPLAN Notices, 21:3, (11-20), Online publication date: 1-Mar-1986.
  81. ACM
    Dunn D (1986). Non-technical issues in acceptance of SILs, ACM SIGPLAN Notices, 21:1, (40-45), Online publication date: 1-Jan-1986.
  82. ACM
    Machanick P (1985). The case for simplified languages, ACM SIGPLAN Notices, 20:3, (32-36), Online publication date: 1-Mar-1985.
  83. ACM
    Breguet P, Grize F and Strohmeier A (1985). SARTEX a programming language for graph processing, ACM SIGPLAN Notices, 20:1, (11-19), Online publication date: 1-Jan-1985.
  84. ACM
    Buhr P (1985). A case for teaching multi-exit loops to beginning programmers, ACM SIGPLAN Notices, 20:11, (14-22), Online publication date: 1-Nov-1985.
  85. ACM
    Chang A (1985). A note on the MODULO operation, ACM SIGPLAN Notices, 20:4, (19-23), Online publication date: 1-Apr-1985.
  86. Stephens M and Whitehead K The Analyst—a workstation for analysis and design Proceedings of the 8th international conference on Software engineering, (364-369)
  87. ACM
    Babad Y and Hoffer J (1984). Even no data has a value, Communications of the ACM, 27:8, (748-756), Online publication date: 1-Aug-1984.
  88. ACM
    Garlan D and Miller P (1984). GNOME, ACM SIGSOFT Software Engineering Notes, 9:3, (65-72), Online publication date: 1-May-1984.
  89. ACM
    Chesi M, Dameri E, Franceschi M, Gatti M and Simonelli C (1984). ISDE, ACM SIGSOFT Software Engineering Notes, 9:3, (81-88), Online publication date: 1-May-1984.
  90. ACM
    Garlan D and Miller P (1984). GNOME, ACM SIGPLAN Notices, 19:5, (65-72), Online publication date: 1-May-1984.
  91. ACM
    Chesi M, Dameri E, Franceschi M, Gatti M and Simonelli C (1984). ISDE, ACM SIGPLAN Notices, 19:5, (81-88), Online publication date: 1-May-1984.
  92. ACM
    Powell M A portable optimizing compiler for Modula-2 Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (310-319)
  93. ACM
    Powell M (1984). A portable optimizing compiler for Modula-2, ACM SIGPLAN Notices, 19:6, (310-319), Online publication date: 1-Jun-1984.
  94. ACM
    Milos D, Pleban U and Loegel G Direct implementation of compiler specifications or the pascal p-code compiler revisited Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (196-207)
  95. ACM
    Garlan D and Miller P GNOME Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (65-72)
  96. ACM
    Chesi M, Dameri E, Franceschi M, Gatti M and Simonelli C ISDE Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (81-88)
  97. ACM
    Muller H (1984). Differences between Modula-2 and Pascal, ACM SIGPLAN Notices, 19:10, (32-39), Online publication date: 1-Oct-1984.
  98. ACM
    Albizuri-Romero M (1984). GRASE, ACM SIGPLAN Notices, 19:2, (28-37), Online publication date: 1-Feb-1984.
  99. ACM
    Leavens G (1984). Prettyprinting styles for various languages, ACM SIGPLAN Notices, 19:2, (75-79), Online publication date: 1-Feb-1984.
  100. ACM
    Groening K (1984). "Combined actions to reduce LR-parsertables", ACM SIGPLAN Notices, 19:3, (42-45), Online publication date: 1-Mar-1984.
  101. ACM
    Hoyer W (1984). Some remarks on records with variants, ACM SIGPLAN Notices, 19:3, (46-50), Online publication date: 1-Mar-1984.
  102. ACM
    Furtado A (1984). Generalized set comparison, ACM SIGPLAN Notices, 19:9, (12-15), Online publication date: 1-Sep-1984.
  103. ACM
    Mayer H (1984). Experiences porting Pascal source from a micro computer to a Vax, ACM SIGPLAN Notices, 19:9, (16-20), Online publication date: 1-Sep-1984.
  104. ACM
    Winkler J (1984). Some improvements of ISO-Pascal, ACM SIGPLAN Notices, 19:9, (49-62), Online publication date: 1-Sep-1984.
  105. ACM
    Van Tuyl R (1984). On evolution of FORTRAN, ACM SIGPLAN Notices, 19:11, (52-55), Online publication date: 1-Nov-1984.
  106. ACM
    Elliott I (1984). The EPN and ESN notations, ACM SIGPLAN Notices, 19:7, (9-17), Online publication date: 1-Jul-1984.
  107. ACM
    Winkler J (1984). Some improvements of ISO-Pascal, ACM SIGPLAN Notices, 19:7, (65-78), Online publication date: 1-Jul-1984.
  108. Veiga P and Lança M HARPA Proceedings of the 21st Design Automation Conference, (59-65)
  109. Rogers W A new program structure to improve accuracy and readability of pascal software Proceedings of the 7th international conference on Software engineering, (454-462)
  110. ACM
    Dencker P, Dürre K and Heuft J (1984). Optimization of parser tables for portable compilers, ACM Transactions on Programming Languages and Systems, 6:4, (546-572), Online publication date: 1-Oct-1984.
  111. ACM
    Rall L (1984). Differentiation in PASCAL-SC: type GRADIENT, ACM Transactions on Mathematical Software, 10:2, (161-184), Online publication date: 18-May-1984.
  112. ACM
    Fritzson P (1983). A systematic approach to advanced debugging, ACM SIGSOFT Software Engineering Notes, 8:4, (130-139), Online publication date: 1-Aug-1983.
  113. ACM
    Gentleman W and Hoeksma H (1983). Hardware assisted high level debugging, ACM SIGSOFT Software Engineering Notes, 8:4, (140-144), Online publication date: 1-Aug-1983.
  114. ACM
    Fritzson P (1983). A systematic approach to advanced debugging, ACM SIGPLAN Notices, 18:8, (130-139), Online publication date: 1-Aug-1983.
  115. ACM
    Gentleman W and Hoeksma H (1983). Hardware assisted high level debugging, ACM SIGPLAN Notices, 18:8, (140-144), Online publication date: 1-Aug-1983.
  116. ACM
    Fritzson P A systematic approach to advanced debugging Proceedings of the symposium on High-level debugging, (130-139)
  117. ACM
    Gentleman W and Hoeksma H Hardware assisted high level debugging Proceedings of the symposium on High-level debugging, (140-144)
  118. ACM
    Metcalf M (1983). Why Fortran?, ACM SIGPLAN Fortran Forum, 2:1, (13-14), Online publication date: 1-Mar-1983.
  119. ACM
    Mueller R and Varghese J (1983). Flow graph machine models in microcode synthesis, ACM SIGMICRO Newsletter, 14:4, (159-167), Online publication date: 1-Dec-1983.
  120. ACM
    Crookes D (1983). Experience with teaching assembly language, ACM SIGCSE Bulletin, 15:3, (50-52), Online publication date: 1-Sep-1983.
  121. ACM
    Barnes G (1983). Experiments with file accessing techniques, ACM SIGCSE Bulletin, 15:4, (3-7), Online publication date: 1-Dec-1983.
  122. ACM
    Fritzson P A systematic approach to advanced debugging through incremental compilation (Preliminary Draft) Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (130-139)
  123. ACM
    Gentleman W and Hoeksma H Hardware assisted high level debugging (Preliminary Draft) Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging, (140-144)
  124. ACM
    Fontana J Pascal procedures and functions for teaching linear data structures Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (178-186)
  125. ACM
    Myers B INCENSE Proceedings of the 10th annual conference on Computer graphics and interactive techniques, (115-125)
  126. ACM
    Ossher H and Reid B Fable Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (137-148)
  127. ACM
    Ossher H and Reid B (1983). Fable, ACM SIGPLAN Notices, 18:6, (137-148), Online publication date: 1-Jun-1983.
  128. ACM
    Boswell F, Carmody M and Grove T (1983). A string extension for Pascal, ACM SIGPLAN Notices, 18:2, (57-61), Online publication date: 1-Feb-1983.
  129. ACM
    Francis R (1983). Containment defines a class of recursive data structures, ACM SIGPLAN Notices, 18:4, (58-64), Online publication date: 1-Apr-1983.
  130. ACM
    Antoy S and Dettori G (1983). Is Pascal suitable for GKS?, ACM SIGPLAN Notices, 18:5, (11-14), Online publication date: 1-May-1983.
  131. ACM
    Boddy D (1983). Implementing data abstractions and monitors in UCSD Pascal, ACM SIGPLAN Notices, 18:5, (15-24), Online publication date: 1-May-1983.
  132. ACM
    Fontana J (1983). Pascal procedures and functions for teaching linear data structures, ACM SIGCSE Bulletin, 15:1, (178-186), Online publication date: 1-Feb-1983.
  133. ACM
    Myers B (1983). INCENSE, ACM SIGGRAPH Computer Graphics, 17:3, (115-125), Online publication date: 1-Jul-1983.
  134. ACM
    Tennent R (1983). An alternative to conformant-array parameters in Pascal, ACM SIGPLAN Notices, 18:10, (38-43), Online publication date: 1-Oct-1983.
  135. ACM
    Burns A (1983). Enhanced input/output on Pascal, ACM SIGPLAN Notices, 18:11, (24-33), Online publication date: 1-Nov-1983.
  136. ACM
    Grosch J (1983). Type derivation graphs, ACM SIGPLAN Notices, 18:12, (60-68), Online publication date: 1-Dec-1983.
  137. ACM
    Wharton R (1983). A note on types and prototypes, ACM SIGPLAN Notices, 18:12, (122-126), Online publication date: 1-Dec-1983.
  138. ACM
    Calmet J and di Scala R (1983). Pascal as host language of computer algebra systems, ACM SIGPLAN Notices, 18:7, (15-24), Online publication date: 1-Jul-1983.
  139. ACM
    Guntheroth K (1983). The new ANSI BASIC standard, ACM SIGPLAN Notices, 18:7, (50-59), Online publication date: 1-Jul-1983.
  140. Batini C and Costa C A graphical tool for conceptual design of data base applications Proceedings of the 20th Design Automation Conference, (762-773)
  141. Trott K and Frantz F A detailed interactive simulation system for developing command and control systems Proceedings of the 16th annual symposium on Simulation, (11-31)
  142. Feyock S and Collins W Ada and multi-microprocessor real-time simulation Proceedings of the 16th annual symposium on Simulation, (211-228)
  143. ACM
    Olderog E A characterization of Hoare's logic for programs with Pascal-like procedures Proceedings of the fifteenth annual ACM symposium on Theory of computing, (320-329)
  144. ACM
    Ford R and Marlin C (1982). Implementation prototypes in the development of programming language features, ACM SIGSOFT Software Engineering Notes, 7:5, (61-66), Online publication date: 1-Dec-1982.
  145. ACM
    Ford R and Marlin C Implementation prototypes in the development of programming language features Proceedings of the workshop on Rapid prototyping, (61-66)
  146. ACM
    Bennett D, Kornman B and Wilson J (1982). Hidden costs in Ada, ACM SIGAda Ada Letters, I:4, (9-20), Online publication date: 1-May-1982.
  147. ACM
    Santhanam V and Potochnik J Data abstraction for Pascal programmers Proceedings of the June 7-10, 1982, national computer conference, (595-603)
  148. ACM
    Suzuki N (1982). Analysis of pointer “rotation”, Communications of the ACM, 25:5, (330-335), Online publication date: 1-May-1982.
  149. ACM
    Reddy U Programming with sequences Proceedings of the 20th annual Southeast regional conference, (189-198)
  150. ACM
    Remmers J and Vile R A parser generator project for a compiler construction course Proceedings of the thirteenth SIGCSE technical symposium on Computer science education, (102-106)
  151. ACM
    Bates R, Dyer D and Koomen J Implementation of Interlisp on the VAX Proceedings of the 1982 ACM symposium on LISP and functional programming, (81-87)
  152. ACM
    Steele G An overview of COMMON LISP Proceedings of the 1982 ACM symposium on LISP and functional programming, (98-107)
  153. ACM
    Seyfer H Tailoring testing to a specific compiler—experiences Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (140-152)
  154. ACM
    Brooks R, Gabriel R and Steele G An optimizing compiler for lexically scoped LISP Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (261-275)
  155. ACM
    Seyfer H (1982). Tailoring testing to a specific compiler—experiences, ACM SIGPLAN Notices, 17:6, (140-152), Online publication date: 1-Jun-1982.
  156. ACM
    Brooks R, Gabriel R and Steele G (1982). An optimizing compiler for lexically scoped LISP, ACM SIGPLAN Notices, 17:6, (261-275), Online publication date: 1-Jun-1982.
  157. ACM
    Dixon D (1982). A Pascal compiler testing facility, ACM SIGPLAN Notices, 17:1, (23-26), Online publication date: 1-Jan-1982.
  158. ACM
    Ford G and Hansche B (1982). Optional, repeatable, and varying type parameters, ACM SIGPLAN Notices, 17:2, (41-48), Online publication date: 1-Feb-1982.
  159. ACM
    Prael C (1982). Pascal for operating software?, ACM SIGPLAN Notices, 17:3, (53-57), Online publication date: 1-Mar-1982.
  160. ACM
    Salt N (1982). Defining software science counting strategies, ACM SIGPLAN Notices, 17:3, (58-67), Online publication date: 1-Mar-1982.
  161. ACM
    Kranc M (1982). A separate compilation facility for PASCAL, ACM SIGPLAN Notices, 17:5, (38-46), Online publication date: 1-May-1982.
  162. ACM
    Spector D (1982). Ambiguities and insecurities in Modula-2, ACM SIGPLAN Notices, 17:8, (43-51), Online publication date: 1-Aug-1982.
  163. ACM
    Kruseman Aretz F (1982). Syntax diagrams for ISO Pascal standard, ACM SIGPLAN Notices, 17:10, (73-78), Online publication date: 1-Oct-1982.
  164. ACM
    Remmers J and Vile R (1982). A parser generator project for a compiler construction course, ACM SIGCSE Bulletin, 14:1, (102-106), Online publication date: 1-Feb-1982.
  165. ACM
    Levy E (1982). The case against Pascal as a teaching tool, ACM SIGPLAN Notices, 17:11, (39-41), Online publication date: 1-Nov-1982.
  166. ACM
    Gladney H (1982). A note on enumerations, ACM SIGPLAN Notices, 17:12, (59-64), Online publication date: 1-Dec-1982.
  167. ACM
    Harland D and Gunn H (1982). Another look at enumerated types, ACM SIGPLAN Notices, 17:7, (62-71), Online publication date: 1-Jul-1982.
  168. Bryant R A tutorial on discrete-system simulation in Ada Proceedings of the 14th conference on Winter Simulation - Volume 2, (643-644)
  169. Rudmik A, Casey B and Cohen H Consistency checking within embedded design languages Proceedings of the 6th international conference on Software engineering, (236-245)
  170. ACM
    Leblang D Abstract syntax based programming environments Proceedings of the AdaTEC Conference on Ada, (187-200)
  171. ACM
    Davenport J and Jenks R (1981). MODLISP, ACM SIGSAM Bulletin, 15:1, (11-20), Online publication date: 1-Feb-1981.
  172. ACM
    Hobson R Software sympathetic chip set design Proceedings of the May 4-7, 1981, national computer conference, (3-10)
  173. ACM
    Davidson S and Shriver B Specifying target resources in a machine independent higher level language Proceedings of the May 4-7, 1981, national computer conference, (81-85)
  174. ACM
    Johnson G (1981). APL in operating systems research, ACM SIGAPL APL Quote Quad, 12:1, (160-166), Online publication date: 1-Sep-1981.
  175. ACM
    Cartwright R, Hood R and Matthews P Paths Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-27)
  176. ACM
    Ramanathan J and Shubra C Modeling of problem domains for driving program development systems Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (28-40)
  177. ACM
    Hill D (1981). A hardware mechanism for supporting range checks, ACM SIGARCH Computer Architecture News, 9:4, (15-21), Online publication date: 1-Jun-1981.
  178. ACM
    Atwood J and Regener E Teaching subsets of Pascal Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (96-103)
  179. ACM
    Riley D Teaching problem solving in an introductory computer science class Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (244-251)
  180. ACM
    Johnson G APL in operating systems research Proceedings of the international conference on APL, (160-166)
  181. ACM
    Moffat D (1981). A model for Pascal-like typing, ACM SIGPLAN Notices, 16:7, (66-74), Online publication date: 1-Jul-1981.
  182. ACM
    Silberschatz A (1981). A note on the distributed program component cell, ACM SIGPLAN Notices, 16:7, (89-96), Online publication date: 1-Jul-1981.
  183. ACM
    Shapiro E, Collins G, Johnson L and Ruttenberg J (1981). PASES, ACM SIGPLAN Notices, 16:8, (50-57), Online publication date: 1-Aug-1981.
  184. ACM
    Atwood J and Regener E (1981). Teaching subsets of Pascal, ACM SIGCSE Bulletin, 13:1, (96-103), Online publication date: 1-Feb-1981.
  185. ACM
    Riley D (1981). Teaching problem solving in an introductory computer science class, ACM SIGCSE Bulletin, 13:1, (244-251), Online publication date: 1-Feb-1981.
  186. ACM
    Moffat D (1981). Enumerations in Pascal, ADA, and beyond, ACM SIGPLAN Notices, 16:2, (77-82), Online publication date: 1-Feb-1981.
  187. ACM
    Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGPLAN Notices, 16:1, (29-35), Online publication date: 1-Jan-1981.
  188. ACM
    Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGMOD Record, 11:2, (29-35), Online publication date: 1-Feb-1981.
  189. ACM
    Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGART Bulletin:74, (29-35), Online publication date: 1-Jan-1981.
  190. ACM
    Hardwick M (1981). Graphical data structures, ACM SIGGRAPH Computer Graphics, 15:4, (376-404), Online publication date: 1-Dec-1981.
  191. Seila A and Chen D Discrete event simulation on mini- and microcomputers Proceedings of the 13th conference on Winter simulation - Volume 1, (41-43)
  192. Cory W Symbolic simulation for functional verification with ADLIB and SDL Proceedings of the 18th Design Automation Conference, (82-89)
  193. Bryant R Micro-SIMPAS Proceedings of the 14th annual symposium on Simulation, (35-54)
  194. Futamura Y, Kawai T, Horikoshi H and Tsutsumi M Development of computer programs by problem analysis Diagram(PAD) Proceedings of the 5th international conference on Software engineering, (325-332)
  195. Lewis J Beyond ALBE/P Proceedings of the 5th international conference on Software engineering, (422-429)
  196. Bryant R A tutorial on simulation programming with SIMPAS Proceedings of the 13th conference on Winter simulation - Volume 2, (363-377)
  197. ACM
    Van de Riet R, Kersten M, de Jonge W and Wasserman A (1981). High-level programming features for improving the efficiency of a relational database system, ACM Transactions on Database Systems, 6:3, (464-485), Online publication date: 1-Sep-1981.
  198. ACM
    Colquhoun D (1980). A computer application in music composition, ACM SIGLASH Newsletter, 13:1, (21-28), Online publication date: 1-Mar-1980.
  199. ACM
    Cooper R (1980). The direct execution of intermediate languages on an Eclipse computer, ACM SIGMICRO Newsletter, 11:1, (6-9), Online publication date: 1-Mar-1980.
  200. ACM
    Gustafson G, Johnson T and Key G Some practical experiences with the Pascal language Proceedings of the May 19-22, 1980, national computer conference, (741-746)
  201. ACM
    Overgaard M UCSD Pascal™ Proceedings of the May 19-22, 1980, national computer conference, (747-754)
  202. ACM
    Santhanam V Translating non-standard extensions to standard Pascal Proceedings of the May 19-22, 1980, national computer conference, (877-882)
  203. ACM
    Walker B, Kemmerer R and Popek G (1980). Specification and verification of the UCLA Unix security kernel, Communications of the ACM, 23:2, (118-131), Online publication date: 1-Feb-1980.
  204. ACM
    Allchin J, Keller A and Wiederhold G FLASH Proceedings of the 1980 ACM SIGMOD international conference on Management of data, (151-156)
  205. ACM
    Filipski G, Moore D and Newton J Ada as a software transition tool Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, (176-182)
  206. ACM
    Albrecht P, Garrison P, Graham S, Hyerle R, Ip P and Brückner B Source-to-source translation Proceedings of the ACM-SIGPLAN symposium on The ADA programming language, (183-193)
  207. ACM
    McKay D and Shapiro S MULTI - a LISP based multiprocessing system Proceedings of the 1980 ACM conference on LISP and functional programming, (29-37)
  208. ACM
    Davenport J and Jenks R MODLISP Proceedings of the 1980 ACM conference on LISP and functional programming, (65-74)
  209. ACM
    Eastman C System facilities for CAD databases Proceedings of the 17th Design Automation Conference, (50-56)
  210. ACM
    Lauther U A data structure for gridless routing Proceedings of the 17th Design Automation Conference, (603-609)
  211. ACM
    Magnenat-Thalmann N and Thalmann D Introducing programming concepts with graphical objects Proceedings of the eleventh SIGCSE technical symposium on Computer science education, (105-109)
  212. ACM
    Rowe L Data abstraction from a programming language viewpoint Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (29-35)
  213. ACM
    Silberschatz A and Kieburtz R (1980). The external consistency of abstract data types, ACM SIGPLAN Notices, 15:2, (64-73), Online publication date: 1-Feb-1980.
  214. ACM
    Shaw M and Wulf W (1980). Toward relaxing assumptions in languages and their implementations, ACM SIGPLAN Notices, 15:3, (45-61), Online publication date: 1-Mar-1980.
  215. ACM
    Schild R and Lienhard H (1980). Real-time programming in PORTAL, ACM SIGPLAN Notices, 15:4, (79-92), Online publication date: 1-Apr-1980.
  216. ACM
    Ince D (1980). Paged input/output in some high level languages, ACM SIGPLAN Notices, 15:7 and 8, (52-57), Online publication date: 1-Jul-1980.
  217. ACM
    Kolstad R and Campbell R (1980). Path PASCAL user manual, ACM SIGPLAN Notices, 15:9, (15-24), Online publication date: 1-Sep-1980.
  218. ACM
    Pentzlin K (1980). A syntax for character and string constants supplying user-defined character codes, ACM SIGPLAN Notices, 15:12, (45-52), Online publication date: 1-Dec-1980.
  219. ACM
    Filipski G, Moore D and Newton J Ada as a software transition tool Proceedings of the ACM-SIGPLAN symposium on Ada programming language, (176-182)
  220. ACM
    Albrecht P, Garrison P, Graham S, Hyerle R, Ip P and Krieg-Brückner B Source-to-source translation Proceedings of the ACM-SIGPLAN symposium on Ada programming language, (183-193)
  221. ACM
    Magnenat-Thalmann N and Thalmann D (1980). Introducing programming concepts with graphical objects, ACM SIGCSE Bulletin, 12:1, (105-109), Online publication date: 1-Feb-1980.
  222. ACM
    Weidner T (1980). CHAMIL, ACM SIGPLAN Notices, 15:1, (156-166), Online publication date: 1-Jan-1980.
  223. Bryant R SIMPAS Proceedings of the 12th conference on Winter simulation, (25-40)
  224. ACM
    Filipski G, Moore D and Newton J (1980). Ada as a software transition tool, ACM SIGPLAN Notices, 15:11, (176-182), Online publication date: 1-Nov-1980.
  225. ACM
    Albrecht P, Garrison P, Graham S, Hyerle R, Ip P and Krieg-Brückner B (1980). Source-to-source translation, ACM SIGPLAN Notices, 15:11, (183-193), Online publication date: 1-Nov-1980.
  226. ACM
    Mattheyses R and Conry S (1979). Models for specification and anaysis of parallel computing systems, ACM SIGMETRICS Performance Evaluation Review, 8:3, (215-224), Online publication date: 1-Sep-1979.
  227. ACM
    Mattheyses R and Conry S (1979). Models for specification and anaysis of parallel computing systems, ACM SIGSIM Simulation Digest, 11:1, (215-224), Online publication date: 1-Sep-1979.
  228. ACM
    Mezzalama M and Prinetto P (1979). Design and implementation of a flexible and interactive microprogram simulator, ACM SIGMICRO Newsletter, 10:4, (42-48), Online publication date: 1-Dec-1979.
  229. ACM
    Volper D (1978). Using Pascal for numerical analysis, ACM SIGNUM Newsletter, 14:1, (93-95), Online publication date: 1-Mar-1979.
  230. ACM
    Floyd R (1979). The paradigms of programming, Communications of the ACM, 22:8, (455-460), Online publication date: 1-Aug-1979.
  231. ACM
    Good D, Cohen R and Keeton-Williams J Principles of proving concurrent programs in Gypsy Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (42-52)
  232. ACM
    Friedman F and Stebulis J An undergraduate compiler laboratory Proceedings of the tenth SIGCSE technical symposium on Computer science education, (28-36)
  233. ACM
    Mattheyses R and Conry S Models for specification and anaysis of parallel computing systems Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems, (215-224)
  234. ACM
    Cordy J, Holt R and Wortman D Semantic charts Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (39-49)
  235. ACM
    LeBlanc R and Fischer C On implementing separate compilation in block-structured languages Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (139-143)
  236. ACM
    Graham S, Haley C and Joy W Practical LR error recovery Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (168-175)
  237. ACM
    DeRemer F and Pennello T Efficient computation of LALR(1) look-ahead sets Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (176-187)
  238. ACM
    Nelson P A comparison of PASCAL intermediate languages Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (208-213)
  239. ACM
    Keedy J (1979). On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, 13:1, (5-9), Online publication date: 1-Jan-1979.
  240. ACM
    Maegaard H and Andreasen A (1979). REPOS, ACM SIGOPS Operating Systems Review, 13:3, (6-11), Online publication date: 1-Jul-1979.
  241. ACM
    Cordy J, Holt R and Wortman D (1979). Semantic charts, ACM SIGPLAN Notices, 14:8, (39-49), Online publication date: 1-Aug-1979.
  242. ACM
    LeBlanc R and Fischer C (1979). On implementing separate compilation in block-structured languages, ACM SIGPLAN Notices, 14:8, (139-143), Online publication date: 1-Aug-1979.
  243. ACM
    Graham S, Haley C and Joy W (1979). Practical LR error recovery, ACM SIGPLAN Notices, 14:8, (168-175), Online publication date: 1-Aug-1979.
  244. ACM
    DeRemer F and Pennello T (1979). Efficient computation of LALR(1) look-ahead sets, ACM SIGPLAN Notices, 14:8, (176-187), Online publication date: 1-Aug-1979.
  245. ACM
    Nelson P (1979). A comparison of PASCAL intermediate languages, ACM SIGPLAN Notices, 14:8, (208-213), Online publication date: 1-Aug-1979.
  246. ACM
    Friedman F and Stebulis J (1979). An undergraduate compiler laboratory, ACM SIGCSE Bulletin, 11:1, (28-36), Online publication date: 1-Feb-1979.
  247. ACM
    Bron C and Dijkstra E (1979). A discipline for the programming of interactive I/O in Pascal, ACM SIGPLAN Notices, 14:12, (59-61), Online publication date: 1-Dec-1979.
  248. ACM
    Clark R (1979). Interactive input in PASCAL, ACM SIGPLAN Notices, 14:2, (9-13), Online publication date: 1-Feb-1979.
  249. ACM
    Watt D (1979). An extended attribute grammar for Pascal, ACM SIGPLAN Notices, 14:2, (60-74), Online publication date: 1-Feb-1979.
  250. ACM
    Prakash N and Sharma Y (1979). An integrated data base language, ACM SIGPLAN Notices, 14:7, (82-96), Online publication date: 1-Jul-1979.
  251. ACM
    Grogono P (1979). On layout, identifiers and semicolons in Pascal programs, ACM SIGPLAN Notices, 14:4, (35-40), Online publication date: 1-Apr-1979.
  252. ACM
    Ball J, Williams G and Low J (1979). Preliminary ZENO language description, ACM SIGPLAN Notices, 14:9, (17-34), Online publication date: 1-Sep-1979.
  253. ACM
    Berry D and Schwartz R (1979). Type equivalence in strongly typed languages, ACM SIGPLAN Notices, 14:9, (35-41), Online publication date: 1-Sep-1979.
  254. ACM
    Sale A (1979). Scope and Pascal, ACM SIGPLAN Notices, 14:9, (61-63), Online publication date: 1-Sep-1979.
  255. ACM
    Ramsdell J (1979). Prettyprinting structured programs with connector lines, ACM SIGPLAN Notices, 14:9, (74-75), Online publication date: 1-Sep-1979.
  256. Campbell R and Kolstad R Path expressions in pascal Proceedings of the 4th international conference on Software engineering, (212-219)
  257. Vanek L and Marty R Hierarchical coroutines a mechanism for improved program structure Proceedings of the 4th international conference on Software engineering, (274-285)
  258. Mezzalama M and Prinetto P Design and implementation of a flexible and interactive microprogram simulator Proceedings of the 12th annual workshop on Microprogramming, (42-48)
  259. Hill D and vanCleemput W SABLE Proceedings of the 16th Design Automation Conference, (272-279)
  260. ACM
    Dasgupta S (1978). Towards a microprogramming language schema, ACM SIGMICRO Newsletter, 9:4, (144-153), Online publication date: 1-Dec-1978.
  261. ACM
    Tanenbaum A (1978). Implications of structured programming for machine architecture, Communications of the ACM, 21:3, (237-246), Online publication date: 1-Mar-1978.
  262. ACM
    Barth J (1978). A practical interprocedural data flow analysis algorithm, Communications of the ACM, 21:9, (724-736), Online publication date: 1-Sep-1978.
  263. ACM
    Demers A, Donahue J and Skinner G Data types as values Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (23-30)
  264. ACM
    Solomon M Type definitions with parameters Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (31-38)
  265. ACM
    German S Automating proofs of the absence of common runtime errors Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (105-118)
  266. ACM
    Good D, Cohen R and Hunter L A Report On The Development Of Gypsy Proceedings of the 1978 annual conference, (116-122)
  267. ACM
    Thalmann N and Thalmann D Direct connection between Compiling Techniques and Databases courses Proceedings of the ninth SIGCSE technical symposium on Computer science education, (131-135)
  268. ACM
    Volper D Using Pascal for numerical analysis Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, (93-95)
  269. ACM
    Thalmann N and Thalmann D (1978). Direct connection between Compiling Techniques and Databases courses, ACM SIGCSE Bulletin, 10:3, (131-135), Online publication date: 1-Aug-1978.
  270. ACM
    Nutt G (1978). A comparison of PASCAL and FORTRAN as introductory programming languages, ACM SIGPLAN Notices, 13:2, (57-62), Online publication date: 1-Feb-1978.
  271. ACM
    Pflasterer D (1978). An approach to efficient, fault tolerant programming, ACM SIGPLAN Notices, 13:2, (63-70), Online publication date: 1-Feb-1978.
  272. ACM
    Comte D, Durrieu G, Gelly O, Plas A and Syre J (1978). Parallelism, control and synchronization expression in a single assignment language, ACM SIGPLAN Notices, 13:1, (25-33), Online publication date: 1-Jan-1978.
  273. ACM
    Iglewski M, Madey J and Matwin S (1978). A contribution to an improvement of PASCAL, ACM SIGPLAN Notices, 13:1, (48-58), Online publication date: 1-Jan-1978.
  274. ACM
    Crider J (1978). Structured formatting of Pascal programs, ACM SIGPLAN Notices, 13:11, (15-22), Online publication date: 1-Nov-1978.
  275. ACM
    Kovats T (1978). Program readability, closing keywords and prefix-style intermediate keywords, ACM SIGPLAN Notices, 13:11, (30-42), Online publication date: 1-Nov-1978.
  276. ACM
    Pflasterer D (1978). The CAMIL programming language, ACM SIGPLAN Notices, 13:11, (43-55), Online publication date: 1-Nov-1978.
  277. ACM
    Allison L (1978). On nondeterministic control structures, ACM SIGPLAN Notices, 13:7, (18-20), Online publication date: 1-Jul-1978.
  278. ACM
    Mohilner P (1978). Prettyprinting PASCAL programs, ACM SIGPLAN Notices, 13:7, (34-40), Online publication date: 1-Jul-1978.
  279. ACM
    Schneider G The introductory programming course in computer science Papers of the SIGCSE/CSA technical symposium on Computer science education, (107-114)
  280. ACM
    Mathis R A first course in computer science for graduate students Papers of the SIGCSE/CSA technical symposium on Computer science education, (217-223)
  281. ACM
    Thalmann N and Thalmann D The use of PASCAL as a teaching tool in introductory, intermediate and advanced computer science courses Papers of the SIGCSE/CSA technical symposium on Computer science education, (277-281)
  282. ACM
    Schneider G (1978). The introductory programming course in computer science, ACM SIGCSE Bulletin, 10:1, (107-114), Online publication date: 1-Feb-1978.
  283. ACM
    Mathis R (1978). A first course in computer science for graduate students, ACM SIGCSE Bulletin, 10:1, (217-223), Online publication date: 1-Feb-1978.
  284. ACM
    Thalmann N and Thalmann D (1978). The use of PASCAL as a teaching tool in introductory, intermediate and advanced computer science courses, ACM SIGCSE Bulletin, 10:1, (277-281), Online publication date: 1-Feb-1978.
  285. Kieburtz R, Barabash W and Hill C A type-checking program linkage system for pascal Proceedings of the 3rd international conference on Software engineering, (23-28)
  286. Thalmann D Evolution in the design of abstract machines for software portability Proceedings of the 3rd international conference on Software engineering, (333-341)
  287. Dasgupta S Towards a microprogramming language schema Proceedings of the 11th annual workshop on Microprogramming, (144-153)
  288. ACM
    Good D (1977). Constructing verified and reliable communications processing systems, ACM SIGSOFT Software Engineering Notes, 2:5, (8-13), Online publication date: 1-Oct-1977.
  289. ACM
    Urban J and Towster E Specifications of computer programs using Hoare tree formalism Proceedings of the 15th annual Southeast regional conference, (414-425)
  290. ACM
    Holt R, Wortman D, Barnard D and Cordy J (1977). SP/k, Communications of the ACM, 20:5, (301-309), Online publication date: 1-May-1977.
  291. ACM
    Gries D and Gehani N (1977). Some ideas on data types in high-level languages, Communications of the ACM, 20:6, (414-420), Online publication date: 1-Jun-1977.
  292. ACM
    Barth J (1977). Shifting garbage collection overhead to compile time, Communications of the ACM, 20:7, (513-518), Online publication date: 1-Jul-1977.
  293. ACM
    Shaw M, Wulf W and London R (1977). Abstraction and verification in Alphard, Communications of the ACM, 20:8, (553-564), Online publication date: 1-Aug-1977.
  294. ACM
    Franta W and Maly K (1977). An efficient data structure for the simulation event set, Communications of the ACM, 20:8, (596-602), Online publication date: 1-Aug-1977.
  295. ACM
    LaLonde W (1977). Regular right part grammars and their parsers, Communications of the ACM, 20:10, (731-741), Online publication date: 1-Oct-1977.
  296. ACM
    Haynes W, Hughes C and Pfleeger C (1977). ORACLE a tool for learning compiler writing, ACM SIGCSE Bulletin, 9:1, (37-52), Online publication date: 1-Feb-1977.
  297. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R (1977). Gypsy, ACM SIGPLAN Notices, 12:3, (1-10), Online publication date: 1-Mar-1977.
  298. ACM
    Fischer C and LeBlanc R (1977). Efficient implementation and optimization of run-time checking in PASCAL, ACM SIGPLAN Notices, 12:3, (19-24), Online publication date: 1-Mar-1977.
  299. ACM
    Ambler A and Hoch C (1977). A study of protection in programming languages, ACM SIGPLAN Notices, 12:3, (25-40), Online publication date: 1-Mar-1977.
  300. ACM
    Herriot R (1977). Towards the ideal programming language, ACM SIGPLAN Notices, 12:3, (56-62), Online publication date: 1-Mar-1977.
  301. ACM
    Buckle N (1977). Restricted data types, specification and enforcement of invariant properties of variables, ACM SIGPLAN Notices, 12:3, (68-76), Online publication date: 1-Mar-1977.
  302. ACM
    Cousot P and Cousot R (1977). Static determination of dynamic properties of generalized type unions, ACM SIGPLAN Notices, 12:3, (77-94), Online publication date: 1-Mar-1977.
  303. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R (1977). Gypsy, ACM SIGOPS Operating Systems Review, 11:2, (1-10), Online publication date: 1-Apr-1977.
  304. ACM
    Fischer C and LeBlanc R (1977). Efficient implementation and optimization of run-time checking in PASCAL, ACM SIGOPS Operating Systems Review, 11:2, (19-24), Online publication date: 1-Apr-1977.
  305. ACM
    Ambler A and Hoch C (1977). A study of protection in programming languages, ACM SIGOPS Operating Systems Review, 11:2, (25-40), Online publication date: 1-Apr-1977.
  306. ACM
    Herriot R (1977). Towards the ideal programming language, ACM SIGOPS Operating Systems Review, 11:2, (56-62), Online publication date: 1-Apr-1977.
  307. ACM
    Buckle N (1977). Restricted data types, specification and enforcement of invariant properties of variables, ACM SIGOPS Operating Systems Review, 11:2, (68-76), Online publication date: 1-Apr-1977.
  308. ACM
    Cousot P and Cousot R (1977). Static determination of dynamic properties of generalized type unions, ACM SIGOPS Operating Systems Review, 11:2, (77-94), Online publication date: 1-Apr-1977.
  309. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R (1977). Gypsy, ACM SIGSOFT Software Engineering Notes, 2:2, (1-10), Online publication date: 1-Mar-1977.
  310. ACM
    Fischer C and LeBlanc R (1977). Efficient implementation and optimization of run-time checking in PASCAL, ACM SIGSOFT Software Engineering Notes, 2:2, (19-24), Online publication date: 1-Mar-1977.
  311. ACM
    Ambler A and Hoch C (1977). A study of protection in programming languages, ACM SIGSOFT Software Engineering Notes, 2:2, (25-40), Online publication date: 1-Mar-1977.
  312. ACM
    Herriot R (1977). Towards the ideal programming language, ACM SIGSOFT Software Engineering Notes, 2:2, (56-62), Online publication date: 1-Mar-1977.
  313. ACM
    Buckle N (1977). Restricted data types, specification and enforcement of invariant properties of variables, ACM SIGSOFT Software Engineering Notes, 2:2, (68-76), Online publication date: 1-Mar-1977.
  314. ACM
    Cousot P and Cousot R (1977). Static determination of dynamic properties of generalized type unions, ACM SIGSOFT Software Engineering Notes, 2:2, (77-94), Online publication date: 1-Mar-1977.
  315. ACM
    Barth J An interprocedural data flow analysis algorithm Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (119-131)
  316. ACM
    Ambler A, Good D, Browne J, Burger W, Cohen R, Hoch C and Wells R Gypsy Proceedings of an ACM conference on Language design for reliable software, (1-10)
  317. ACM
    Fischer C and LeBlanc R Efficient implementation and optimization of run-time checking in PASCAL Proceedings of an ACM conference on Language design for reliable software, (19-24)
  318. ACM
    Ambler A and Hoch C A study of protection in programming languages Proceedings of an ACM conference on Language design for reliable software, (25-40)
  319. ACM
    Herriot R Towards the ideal programming language Proceedings of an ACM conference on Language design for reliable software, (56-62)
  320. ACM
    Buckle N Restricted data types, specification and enforcement of invariant properties of variables Proceedings of an ACM conference on Language design for reliable software, (68-76)
  321. ACM
    Cousot P and Cousot R Static determination of dynamic properties of generalized type unions Proceedings of an ACM conference on Language design for reliable software, (77-94)
  322. ACM
    Shabe G, Peck S and Hickey R Team dynamics in systems development and management Proceedings of the fifteenth annual SIGCPR conference, (164-189)
  323. ACM
    Haynes W, Hughes C and Pfleeger C ORACLE a tool for learning compiler writing Proceedings of the seventh SIGCSE technical symposium on Computer science education, (37-52)
  324. ACM
    Beatty J Iteration theorems for LL(k) languages (Extended Abstract) Proceedings of the ninth annual ACM symposium on Theory of computing, (122-131)
  325. ACM
    Travis L, Honda M, LeBlanc R and Zeigler S Design rationale for TELOS, a PASCAL-based AI language Proceedings of the 1977 symposium on Artificial intelligence and programming languages, (67-76)
  326. ACM
    van der Meulen S ALGOL 68 might-have-beens Proceedings of the Strathclyde ALGOL 68 conference, (1-18)
  327. ACM
    Travis L, Honda M, LeBlanc R and Zeigler S (1977). Design rationale for TELOS, a PASCAL-based AI language, ACM SIGPLAN Notices, 12:8, (67-76), Online publication date: 1-Aug-1977.
  328. ACM
    Travis L, Honda M, LeBlanc R and Zeigler S (1977). Design rationale for TELOS, a PASCAL-based AI language, ACM SIGART Bulletin:64, (67-76), Online publication date: 1-Aug-1977.
  329. ACM
    van der Meulen S (1977). ALGOL 68 might-have-beens, ACM SIGPLAN Notices, 12:6, (1-18), Online publication date: 1-Jun-1977.
  330. ACM
    Abramson H (1977). Ordered types and a generalized for statement, ACM SIGPLAN Notices, 12:12, (55-59), Online publication date: 1-Dec-1977.
  331. ACM
    Richard F and Ledgard H (1977). A reminder for language designers, ACM SIGPLAN Notices, 12:12, (73-82), Online publication date: 1-Dec-1977.
  332. ACM
    Woolley J (1977). Fortran, ACM SIGPLAN Notices, 12:7, (112-125), Online publication date: 1-Jul-1977.
  333. ACM
    Lampson B, Horning J, London R, Mitchell J and Popek G (1977). Report on the programming language Euclid, ACM SIGPLAN Notices, 12:2, (1-79), Online publication date: 1-Feb-1977.
  334. ACM
    Kittlitz E (1977). Another proposal for variable size arrays in PASCAL, ACM SIGPLAN Notices, 12:1, (82-86), Online publication date: 1-Jan-1977.
  335. ACM
    Bates D and Cailliau R (1977). Experience with Pascal compilers on mini-computers, ACM SIGPLAN Notices, 12:11, (10-22), Online publication date: 1-Nov-1977.
  336. ACM
    Condict M (1977). The Pascal dynamic array controversy and a method for enforcing global assertions, ACM SIGPLAN Notices, 12:11, (23-27), Online publication date: 1-Nov-1977.
  337. ACM
    Kieburtz R Programming without pointer variables Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (95-107)
  338. ACM
    Kieburtz R (1976). Programming without pointer variables, ACM SIGPLAN Notices, 11:SI, (95-107), Online publication date: 15-Mar-1976.
  339. ACM
    Kittlitz E (1976). Block statements and synonyms for PASCAL, ACM SIGPLAN Notices, 11:10, (32-35), Online publication date: 1-Oct-1976.
  340. ACM
    Pokrovsky S (1976). Formal types and their application to dynamic arrays in PASCAL, ACM SIGPLAN Notices, 11:10, (36-42), Online publication date: 1-Oct-1976.
  341. ACM
    Kieburtz R (1976). Programming without pointer variables, ACM SIGMOD Record, 8:2, (95-107), Online publication date: 1-Mar-1976.
  342. ACM
    Conradi R (1976). "Further critical comments on PASCAL, particularly as a systems programming language", ACM SIGPLAN Notices, 11:11, (8-25), Online publication date: 1-Nov-1976.
  343. ACM
    Kahn L (1976). Program structure definition using binary relations, ACM SIGPLAN Notices, 11:12, (38-55), Online publication date: 1-Dec-1976.
  344. Hodges B and Ryan J A system for automatic software evaluation Proceedings of the 2nd international conference on Software engineering, (617-623)
  345. ACM
    Wirth N (1975). An assessment of the programming language PASCAL, ACM SIGPLAN Notices, 10:6, (23-30), Online publication date: 1-Jun-1975.
  346. ACM
    Wirth N An assessment of the programming language PASCAL Proceedings of the international conference on Reliable software, (23-30)
  347. ACM
    Bond R (1975). Free form structured FORTRAN translator, ACM SIGPLAN Notices, 10:10, (12-15), Online publication date: 1-Oct-1975.
  348. ACM
    Coakley F (1975). Experience with the use of the case statement within a M.O.L., ACM SIGPLAN Notices, 10:11, (13-17), Online publication date: 1-Nov-1975.
Contributors
  • Hewlett-Packard Inc.
  • Syracuse University
  • Swiss Federal Institute of Technology, Zurich
  • Karlsruhe Institute of Technology, Campus South
  • Cornell University

Recommendations