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.
Chapters
- 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 ScholarDigital Library
- N. Wirth, "Program Development by Stepwise Refinement", Comm. ACM 14, 221--227, April 1971.Google ScholarDigital Library
- N. Wirth, Systematic Programming. Prentice-Hall, Inc. 1973.Google Scholar
- O. J. Dahl, E. W. Dijkstra, C. A. R. Hoare, Structured Programming. Academic Press Inc. 1972.Google Scholar
- C. A. R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Language Pascal". Acta Informatica. 2, 335--355, 1973.Google ScholarDigital Library
- D. E. Knuth, The Art of Computer Programming, vol 1, Fundamental Algorithms. Addison-Wesley, 1968.Google Scholar
- SCOPE Reference Manual, CDC 6000 Version 4.3.1, Control Data Corporation, 1973.Google Scholar
- N. Wirth, "The Programming Language PASCAL". ACTA INFORMATICA, 1, 35--63, (1971).Google ScholarDigital Library
- N. Wirth, "Systematisches Programmieren". Teubner Verlag. Stuttgart, 1972.Google Scholar
- N. Wirth, "Systematics Programming". Prentice-Hall. Englewood Cliffs, 1973.Google Scholar
- C. A. R. Hoare and N. Wirth, "An Axiomatic Definition of the Programming Langauge PASCAL". ACTA INFORMATICA. 2, 335--355. (1973).Google ScholarDigital Library
- N. Wirth. "The Design of a PASCAL Compiler", SOFTWARE-Practice and Experience, 1, 309--333 (1971).Google ScholarCross Ref
Cited By
- Hinze R Self-certifying Railroad Diagrams Mathematics of Program Construction, (103-137)
- 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.
- 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)
- 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)
- Tenenbaum A, Weiss G and Arnow D Monetary values Proceedings of the 41st ACM technical symposium on Computer science education, (376-380)
- 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.
- 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.
- Giangrande E (2007). CS1 programming language options, Journal of Computing Sciences in Colleges, 22:3, (153-160), Online publication date: 1-Jan-2007.
- Van Snyder W (2007). Scientific programming in Fortran, Scientific Programming, 15:1, (3-8), Online publication date: 1-Jan-2007.
- Floyd R The paradigms of programming ACM Turing award lectures
- 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.
- 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)
- Gibbons J Datatype-generic programming Proceedings of the 2006 international conference on Datatype-generic programming, (1-71)
- 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.
- 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.
- Diwan A, Waite W and Jackson M PL-detective Proceedings of the 35th SIGCSE technical symposium on Computer science education, (80-84)
- Diwan A, Waite W and Jackson M (2004). PL-detective, ACM SIGCSE Bulletin, 36:1, (80-84), Online publication date: 1-Mar-2004.
- Lee J and Hemmendinger D Programming linguistics Encyclopedia of Computer Science, (1475-1485)
- Pollack S and Cytron R Constant Encyclopedia of Computer Science, (445-447)
- Harrison C (2002). ICPL, ACM SIGCSE Bulletin, 34:4, (101-105), Online publication date: 1-Dec-2002.
- 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.
- 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)
- Cockshott P (2002). Vector pascal reference manual, ACM SIGPLAN Notices, 37:6, (59-81), Online publication date: 2-Jun-2002.
- Gofen A (2001). From Pascal to Delphi to Object Pascal-2000, ACM SIGPLAN Notices, 36:6, (38-49), Online publication date: 1-Jun-2001.
- Ching W The design and implementation of an APL dialect, ELI Proceedings of the international conference on APL-Berlin-2000 conference, (69-76)
- 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.
- Clark C (1999). Keywords, ACM SIGPLAN Notices, 34:12, (18-23), Online publication date: 1-Dec-1999.
- 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.
- 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)
- 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)
- 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.
- Pan S and Dromey R Beyond structured programming Proceedings of the 18th international conference on Software engineering, (268-277)
- 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)
- Wirth N Recollections about the development of Pascal History of programming languages---II, (97-120)
- 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.
- Steele G (1995). Parallelism in Lisp, ACM SIGPLAN Lisp Pointers, VIII:2, (1-14), Online publication date: 5-May-1995.
- Dubois C, Rouaix F and Weis P Extensional polymorphism Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (118-129)
- 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.
- 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.
- Ritchie D The development of the C language The second ACM SIGPLAN conference on History of programming languages, (201-208)
- Ritchie D (1993). The development of the C language, ACM SIGPLAN Notices, 28:3, (201-208), Online publication date: 1-Mar-1993.
- 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.
- 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.
- Sakharov A (1992). Macro processing in high-level languages, ACM SIGPLAN Notices, 27:11, (59-66), Online publication date: 1-Nov-1992.
- García Carrasco J (1992). A new language for multicomputer programming, ACM SIGPLAN Notices, 27:6, (47-53), Online publication date: 1-Jun-1992.
- 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)
- Shepherd J (1991). Why a two pass front end?, ACM SIGPLAN Notices, 26:3, (88-94), Online publication date: 2-Jan-1991.
- 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.
- Lujun S (1991). Cluster, ACM SIGPLAN Notices, 26:1, (57-74), Online publication date: 1-Jan-1991.
- 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.
- Lins C (1990). Programming without enumerations in Oberon, ACM SIGPLAN Notices, 25:7, (19-27), Online publication date: 1-Jul-1990.
- 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.
- 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)
- Sundaresan N (1990). Translation of nested Pascal routines to C, ACM SIGPLAN Notices, 25:5, (69-81), Online publication date: 1-May-1990.
- Prather R (1990). Proposal for a categorical programming language, ACM SIGPLAN Notices, 25:4, (43-50), Online publication date: 1-Apr-1990.
- 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.
- 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)
- Milanese V (1989). Aspects of OBERON suitable for graphics applications, ACM SIGPLAN Notices, 24:8, (37-45), Online publication date: 1-Aug-1989.
- 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.
- 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.
- Sharpe D (1988). Adding regular expressions to Pascal, ACM SIGPLAN Notices, 23:12, (125-133), Online publication date: 1-Dec-1988.
- Neusius C (1988). Portable software in modular Pascal, ACM SIGPLAN Notices, 23:12, (79-85), Online publication date: 1-Dec-1988.
- 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.
- 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.
- Kaindl H (1988). Portability of software, ACM SIGPLAN Notices, 23:6, (59-68), Online publication date: 1-Jun-1988.
- Elliott I (1988). The PRESTO system, ACM SIGPLAN Notices, 23:6, (39-48), Online publication date: 1-Jun-1988.
- 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.
- 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.
- 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.
- 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.
- 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)
- 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.
- Parker J (1987). A study of record packing methods, ACM SIGPLAN Notices, 22:3, (71-77), Online publication date: 1-Mar-1987.
- Stanculescu A (1986). Toward machine independent microcode, ACM SIGMICRO Newsletter, 17:3, (25-32), Online publication date: 1-Dec-1986.
- 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.
- 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.
- 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.
- Männer R (1986). Strong typing and physical units, ACM SIGPLAN Notices, 21:3, (11-20), Online publication date: 1-Mar-1986.
- Gupta R and Soffa M SHAPE Proceedings of the 1986 ACM fourteenth annual conference on Computer science, (107-114)
- Dunn D (1986). Non-technical issues in acceptance of SILs, ACM SIGPLAN Notices, 21:1, (40-45), Online publication date: 1-Jan-1986.
- 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.
- 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.
- Stephens M and Whitehead K The Analyst—a workstation for analysis and design Proceedings of the 8th international conference on Software engineering, (364-369)
- Chang A (1985). A note on the MODULO operation, ACM SIGPLAN Notices, 20:4, (19-23), Online publication date: 1-Apr-1985.
- Machanick P (1985). The case for simplified languages, ACM SIGPLAN Notices, 20:3, (32-36), Online publication date: 1-Mar-1985.
- 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.
- Van Tuyl R (1984). On evolution of FORTRAN, ACM SIGPLAN Notices, 19:11, (52-55), Online publication date: 1-Nov-1984.
- Muller H (1984). Differences between Modula-2 and Pascal, ACM SIGPLAN Notices, 19:10, (32-39), Online publication date: 1-Oct-1984.
- 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.
- Winkler J (1984). Some improvements of ISO-Pascal, ACM SIGPLAN Notices, 19:9, (49-62), Online publication date: 1-Sep-1984.
- 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.
- Furtado A (1984). Generalized set comparison, ACM SIGPLAN Notices, 19:9, (12-15), Online publication date: 1-Sep-1984.
- 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.
- Winkler J (1984). Some improvements of ISO-Pascal, ACM SIGPLAN Notices, 19:7, (65-78), Online publication date: 1-Jul-1984.
- Elliott I (1984). The EPN and ESN notations, ACM SIGPLAN Notices, 19:7, (9-17), Online publication date: 1-Jul-1984.
- Veiga P and Lança M HARPA Proceedings of the 21st Design Automation Conference, (59-65)
- Powell M A portable optimizing compiler for Modula-2 Proceedings of the 1984 SIGPLAN symposium on Compiler construction, (310-319)
- Powell M (1984). A portable optimizing compiler for Modula-2, ACM SIGPLAN Notices, 19:6, (310-319), Online publication date: 1-Jun-1984.
- Rall L (1984). Differentiation in PASCAL-SC: type GRADIENT, ACM Transactions on Mathematical Software, 10:2, (161-184), Online publication date: 18-May-1984.
- 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.
- Garlan D and Miller P (1984). GNOME, ACM SIGPLAN Notices, 19:5, (65-72), Online publication date: 1-May-1984.
- 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.
- Garlan D and Miller P (1984). GNOME, ACM SIGSOFT Software Engineering Notes, 9:3, (65-72), Online publication date: 1-May-1984.
- 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)
- Garlan D and Miller P GNOME Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments, (65-72)
- 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)
- Hoyer W (1984). Some remarks on records with variants, ACM SIGPLAN Notices, 19:3, (46-50), Online publication date: 1-Mar-1984.
- Groening K (1984). "Combined actions to reduce LR-parsertables", ACM SIGPLAN Notices, 19:3, (42-45), Online publication date: 1-Mar-1984.
- Leavens G (1984). Prettyprinting styles for various languages, ACM SIGPLAN Notices, 19:2, (75-79), Online publication date: 1-Feb-1984.
- Albizuri-Romero M (1984). GRASE, ACM SIGPLAN Notices, 19:2, (28-37), Online publication date: 1-Feb-1984.
- 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)
- Wharton R (1983). A note on types and prototypes, ACM SIGPLAN Notices, 18:12, (122-126), Online publication date: 1-Dec-1983.
- Grosch J (1983). Type derivation graphs, ACM SIGPLAN Notices, 18:12, (60-68), Online publication date: 1-Dec-1983.
- 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)
- Barnes G (1983). Experiments with file accessing techniques, ACM SIGCSE Bulletin, 15:4, (3-7), Online publication date: 1-Dec-1983.
- 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.
- Burns A (1983). Enhanced input/output on Pascal, ACM SIGPLAN Notices, 18:11, (24-33), Online publication date: 1-Nov-1983.
- Tennent R (1983). An alternative to conformant-array parameters in Pascal, ACM SIGPLAN Notices, 18:10, (38-43), Online publication date: 1-Oct-1983.
- Crookes D (1983). Experience with teaching assembly language, ACM SIGCSE Bulletin, 15:3, (50-52), Online publication date: 1-Sep-1983.
- Gentleman W and Hoeksma H (1983). Hardware assisted high level debugging, ACM SIGPLAN Notices, 18:8, (140-144), Online publication date: 1-Aug-1983.
- Fritzson P (1983). A systematic approach to advanced debugging, ACM SIGPLAN Notices, 18:8, (130-139), Online publication date: 1-Aug-1983.
- 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.
- Fritzson P (1983). A systematic approach to advanced debugging, ACM SIGSOFT Software Engineering Notes, 8:4, (130-139), Online publication date: 1-Aug-1983.
- Myers B INCENSE Proceedings of the 10th annual conference on Computer graphics and interactive techniques, (115-125)
- Guntheroth K (1983). The new ANSI BASIC standard, ACM SIGPLAN Notices, 18:7, (50-59), Online publication date: 1-Jul-1983.
- 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.
- Myers B (1983). INCENSE, ACM SIGGRAPH Computer Graphics, 17:3, (115-125), Online publication date: 1-Jul-1983.
- Batini C and Costa C A graphical tool for conceptual design of data base applications Proceedings of the 20th Design Automation Conference, (762-773)
- Ossher H and Reid B Fable Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, (137-148)
- Ossher H and Reid B (1983). Fable, ACM SIGPLAN Notices, 18:6, (137-148), Online publication date: 1-Jun-1983.
- Boddy D (1983). Implementing data abstractions and monitors in UCSD Pascal, ACM SIGPLAN Notices, 18:5, (15-24), Online publication date: 1-May-1983.
- Antoy S and Dettori G (1983). Is Pascal suitable for GKS?, ACM SIGPLAN Notices, 18:5, (11-14), Online publication date: 1-May-1983.
- Francis R (1983). Containment defines a class of recursive data structures, ACM SIGPLAN Notices, 18:4, (58-64), Online publication date: 1-Apr-1983.
- Gentleman W and Hoeksma H Hardware assisted high level debugging Proceedings of the symposium on High-level debugging, (140-144)
- Fritzson P A systematic approach to advanced debugging Proceedings of the symposium on High-level debugging, (130-139)
- Feyock S and Collins W Ada and multi-microprocessor real-time simulation Proceedings of the 16th annual symposium on Simulation, (211-228)
- 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)
- Metcalf M (1983). Why Fortran?, ACM SIGPLAN Fortran Forum, 2:1, (13-14), Online publication date: 1-Mar-1983.
- Fontana J Pascal procedures and functions for teaching linear data structures Proceedings of the fourteenth SIGCSE technical symposium on Computer science education, (178-186)
- 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.
- 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.
- 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)
- 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)
- Bryant R A tutorial on discrete-system simulation in Ada Proceedings of the 14th conference on Winter Simulation - Volume 2, (643-644)
- Gladney H (1982). A note on enumerations, ACM SIGPLAN Notices, 17:12, (59-64), Online publication date: 1-Dec-1982.
- 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.
- Levy E (1982). The case against Pascal as a teaching tool, ACM SIGPLAN Notices, 17:11, (39-41), Online publication date: 1-Nov-1982.
- Leblang D Abstract syntax based programming environments Proceedings of the AdaTEC Conference on Ada, (187-200)
- Kruseman Aretz F (1982). Syntax diagrams for ISO Pascal standard, ACM SIGPLAN Notices, 17:10, (73-78), Online publication date: 1-Oct-1982.
- Rudmik A, Casey B and Cohen H Consistency checking within embedded design languages Proceedings of the 6th international conference on Software engineering, (236-245)
- Steele G An overview of COMMON LISP Proceedings of the 1982 ACM symposium on LISP and functional programming, (98-107)
- 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)
- Spector D (1982). Ambiguities and insecurities in Modula-2, ACM SIGPLAN Notices, 17:8, (43-51), Online publication date: 1-Aug-1982.
- Harland D and Gunn H (1982). Another look at enumerated types, ACM SIGPLAN Notices, 17:7, (62-71), Online publication date: 1-Jul-1982.
- 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)
- Seyfer H Tailoring testing to a specific compiler—experiences Proceedings of the 1982 SIGPLAN symposium on Compiler construction, (140-152)
- Santhanam V and Potochnik J Data abstraction for Pascal programmers Proceedings of the June 7-10, 1982, national computer conference, (595-603)
- 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.
- Seyfer H (1982). Tailoring testing to a specific compiler—experiences, ACM SIGPLAN Notices, 17:6, (140-152), Online publication date: 1-Jun-1982.
- Kranc M (1982). A separate compilation facility for PASCAL, ACM SIGPLAN Notices, 17:5, (38-46), Online publication date: 1-May-1982.
- Suzuki N (1982). Analysis of pointer “rotation”, Communications of the ACM, 25:5, (330-335), Online publication date: 1-May-1982.
- 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.
- Ford R and Marlin C Implementation prototypes in the development of programming language features Proceedings of the workshop on Rapid prototyping, (61-66)
- Reddy U Programming with sequences Proceedings of the 20th annual ACM Southeast Regional Conference, (189-198)
- Salt N (1982). Defining software science counting strategies, ACM SIGPLAN Notices, 17:3, (58-67), Online publication date: 1-Mar-1982.
- Prael C (1982). Pascal for operating software?, ACM SIGPLAN Notices, 17:3, (53-57), Online publication date: 1-Mar-1982.
- 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)
- 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.
- 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.
- Dixon D (1982). A Pascal compiler testing facility, ACM SIGPLAN Notices, 17:1, (23-26), Online publication date: 1-Jan-1982.
- Bryant R A tutorial on simulation programming with SIMPAS Proceedings of the 13th conference on Winter simulation - Volume 2, (363-377)
- Hardwick M (1981). Graphical data structures, ACM SIGGRAPH Computer Graphics, 15:4, (376-404), Online publication date: 1-Dec-1981.
- Johnson G APL in operating systems research Proceedings of the international conference on APL, (160-166)
- Johnson G (1981). APL in operating systems research, ACM SIGAPL APL Quote Quad, 12:1, (160-166), Online publication date: 1-Sep-1981.
- 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.
- Shapiro E, Collins G, Johnson L and Ruttenberg J (1981). PASES, ACM SIGPLAN Notices, 16:8, (50-57), Online publication date: 1-Aug-1981.
- Silberschatz A (1981). A note on the distributed program component cell, ACM SIGPLAN Notices, 16:7, (89-96), Online publication date: 1-Jul-1981.
- Moffat D (1981). A model for Pascal-like typing, ACM SIGPLAN Notices, 16:7, (66-74), Online publication date: 1-Jul-1981.
- Cory W Symbolic simulation for functional verification with ADLIB and SDL Proceedings of the 18th Design Automation Conference, (82-89)
- 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.
- 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)
- Hobson R Software sympathetic chip set design Proceedings of the May 4-7, 1981, national computer conference, (3-10)
- Bryant R Micro-SIMPAS Proceedings of the 14th annual symposium on Simulation, (35-54)
- Lewis J Beyond ALBE/P Proceedings of the 5th international conference on Software engineering, (422-429)
- 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)
- Riley D Teaching problem solving in an introductory computer science class Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (244-251)
- Atwood J and Regener E Teaching subsets of Pascal Proceedings of the twelfth SIGCSE technical symposium on Computer science education, (96-103)
- Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGMOD Record, 11:2, (29-35), Online publication date: 1-Feb-1981.
- Moffat D (1981). Enumerations in Pascal, ADA, and beyond, ACM SIGPLAN Notices, 16:2, (77-82), Online publication date: 1-Feb-1981.
- 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.
- Atwood J and Regener E (1981). Teaching subsets of Pascal, ACM SIGCSE Bulletin, 13:1, (96-103), Online publication date: 1-Feb-1981.
- Davenport J and Jenks R (1981). MODLISP, ACM SIGSAM Bulletin, 15:1, (11-20), Online publication date: 1-Feb-1981.
- 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)
- Cartwright R, Hood R and Matthews P Paths Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, (14-27)
- Seila A and Chen D Discrete event simulation on mini- and microcomputers Proceedings of the 13th conference on Winter simulation - Volume 1, (41-43)
- Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGART Bulletin:74, (29-35), Online publication date: 1-Jan-1981.
- Rowe L (1980). Data abstraction from a programming language viewpoint, ACM SIGPLAN Notices, 16:1, (29-35), Online publication date: 1-Jan-1981.
- 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)
- 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)
- 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.
- 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.
- 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.
- Kolstad R and Campbell R (1980). Path PASCAL user manual, ACM SIGPLAN Notices, 15:9, (15-24), Online publication date: 1-Sep-1980.
- Davenport J and Jenks R MODLISP Proceedings of the 1980 ACM conference on LISP and functional programming, (65-74)
- McKay D and Shapiro S MULTI - a LISP based multiprocessing system Proceedings of the 1980 ACM conference on LISP and functional programming, (29-37)
- 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.
- Rowe L Data abstraction from a programming language viewpoint Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling, (29-35)
- Lauther U A data structure for gridless routing Proceedings of the 17th Design Automation Conference, (603-609)
- Eastman C System facilities for CAD databases Proceedings of the 17th Design Automation Conference, (50-56)
- Santhanam V Translating non-standard extensions to standard Pascal Proceedings of the May 19-22, 1980, national computer conference, (877-882)
- Overgaard M UCSD Pascal™ Proceedings of the May 19-22, 1980, national computer conference, (747-754)
- 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)
- Allchin J, Keller A and Wiederhold G FLASH Proceedings of the 1980 ACM SIGMOD international conference on Management of data, (151-156)
- Schild R and Lienhard H (1980). Real-time programming in PORTAL, ACM SIGPLAN Notices, 15:4, (79-92), Online publication date: 1-Apr-1980.
- 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.
- 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.
- Colquhoun D (1980). A computer application in music composition, ACM SIGLASH Newsletter, 13:1, (21-28), Online publication date: 1-Mar-1980.
- 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)
- 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.
- 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.
- 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.
- Bryant R SIMPAS Proceedings of the 12th conference on Winter simulation, (25-40)
- Weidner T (1980). CHAMIL, ACM SIGPLAN Notices, 15:1, (156-166), Online publication date: 1-Jan-1980.
- 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)
- 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)
- 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.
- 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.
- 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)
- Vanek L and Marty R Hierarchical coroutines a mechanism for improved program structure Proceedings of the 4th international conference on Software engineering, (274-285)
- Campbell R and Kolstad R Path expressions in pascal Proceedings of the 4th international conference on Software engineering, (212-219)
- Ramsdell J (1979). Prettyprinting structured programs with connector lines, ACM SIGPLAN Notices, 14:9, (74-75), Online publication date: 1-Sep-1979.
- Sale A (1979). Scope and Pascal, ACM SIGPLAN Notices, 14:9, (61-63), Online publication date: 1-Sep-1979.
- 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.
- 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.
- 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.
- 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.
- 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)
- Nelson P A comparison of PASCAL intermediate languages Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (208-213)
- DeRemer F and Pennello T Efficient computation of LALR(1) look-ahead sets Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (176-187)
- Graham S, Haley C and Joy W Practical LR error recovery Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (168-175)
- LeBlanc R and Fischer C On implementing separate compilation in block-structured languages Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (139-143)
- Cordy J, Holt R and Wortman D Semantic charts Proceedings of the 1979 SIGPLAN symposium on Compiler construction, (39-49)
- Nelson P (1979). A comparison of PASCAL intermediate languages, ACM SIGPLAN Notices, 14:8, (208-213), Online publication date: 1-Aug-1979.
- 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.
- 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.
- 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.
- Cordy J, Holt R and Wortman D (1979). Semantic charts, ACM SIGPLAN Notices, 14:8, (39-49), Online publication date: 1-Aug-1979.
- Floyd R (1979). The paradigms of programming, Communications of the ACM, 22:8, (455-460), Online publication date: 1-Aug-1979.
- Prakash N and Sharma Y (1979). An integrated data base language, ACM SIGPLAN Notices, 14:7, (82-96), Online publication date: 1-Jul-1979.
- Maegaard H and Andreasen A (1979). REPOS, ACM SIGOPS Operating Systems Review, 13:3, (6-11), Online publication date: 1-Jul-1979.
- Hill D and vanCleemput W SABLE Proceedings of the 16th Design Automation Conference, (272-279)
- Grogono P (1979). On layout, identifiers and semicolons in Pascal programs, ACM SIGPLAN Notices, 14:4, (35-40), Online publication date: 1-Apr-1979.
- Volper D (1978). Using Pascal for numerical analysis, ACM SIGNUM Newsletter, 14:1, (93-95), Online publication date: 1-Mar-1979.
- Watt D (1979). An extended attribute grammar for Pascal, ACM SIGPLAN Notices, 14:2, (60-74), Online publication date: 1-Feb-1979.
- Clark R (1979). Interactive input in PASCAL, ACM SIGPLAN Notices, 14:2, (9-13), Online publication date: 1-Feb-1979.
- Friedman F and Stebulis J (1979). An undergraduate compiler laboratory, ACM SIGCSE Bulletin, 11:1, (28-36), Online publication date: 1-Feb-1979.
- Keedy J (1979). On structuring operating systems with monitors, ACM SIGOPS Operating Systems Review, 13:1, (5-9), Online publication date: 1-Jan-1979.
- Friedman F and Stebulis J An undergraduate compiler laboratory Proceedings of the tenth SIGCSE technical symposium on Computer science education, (28-36)
- 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)
- Good D, Cohen R and Hunter L A Report On The Development Of Gypsy Proceedings of the 1978 annual conference, (116-122)
- Dasgupta S (1978). Towards a microprogramming language schema, ACM SIGMICRO Newsletter, 9:4, (144-153), Online publication date: 1-Dec-1978.
- Dasgupta S Towards a microprogramming language schema Proceedings of the 11th annual workshop on Microprogramming, (144-153)
- Pflasterer D (1978). The CAMIL programming language, ACM SIGPLAN Notices, 13:11, (43-55), Online publication date: 1-Nov-1978.
- 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.
- Crider J (1978). Structured formatting of Pascal programs, ACM SIGPLAN Notices, 13:11, (15-22), Online publication date: 1-Nov-1978.
- Volper D Using Pascal for numerical analysis Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software, (93-95)
- Barth J (1978). A practical interprocedural data flow analysis algorithm, Communications of the ACM, 21:9, (724-736), Online publication date: 1-Sep-1978.
- 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)
- 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.
- Mohilner P (1978). Prettyprinting PASCAL programs, ACM SIGPLAN Notices, 13:7, (34-40), Online publication date: 1-Jul-1978.
- Allison L (1978). On nondeterministic control structures, ACM SIGPLAN Notices, 13:7, (18-20), Online publication date: 1-Jul-1978.
- Thalmann D Evolution in the design of abstract machines for software portability Proceedings of the 3rd international conference on Software engineering, (333-341)
- 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)
- Tanenbaum A (1978). Implications of structured programming for machine architecture, Communications of the ACM, 21:3, (237-246), Online publication date: 1-Mar-1978.
- 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)
- Mathis R A first course in computer science for graduate students Papers of the SIGCSE/CSA technical symposium on Computer science education, (217-223)
- Schneider G The introductory programming course in computer science Papers of the SIGCSE/CSA technical symposium on Computer science education, (107-114)
- 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.
- 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.
- Schneider G (1978). The introductory programming course in computer science, ACM SIGCSE Bulletin, 10:1, (107-114), Online publication date: 1-Feb-1978.
- Pflasterer D (1978). An approach to efficient, fault tolerant programming, ACM SIGPLAN Notices, 13:2, (63-70), Online publication date: 1-Feb-1978.
- 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.
- 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.
- 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.
- 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)
- Solomon M Type definitions with parameters Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (31-38)
- 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)
- Richard F and Ledgard H (1977). A reminder for language designers, ACM SIGPLAN Notices, 12:12, (73-82), Online publication date: 1-Dec-1977.
- Abramson H (1977). Ordered types and a generalized for statement, ACM SIGPLAN Notices, 12:12, (55-59), Online publication date: 1-Dec-1977.
- 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.
- 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.
- LaLonde W (1977). Regular right part grammars and their parsers, Communications of the ACM, 20:10, (731-741), Online publication date: 1-Oct-1977.
- 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.
- Shabe G, Peck S and Hickey R Team dynamics in systems development and management Proceedings of the fifteenth annual SIGCPR conference, (164-189)
- 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)
- 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.
- 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.
- 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.
- 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.
- Woolley J (1977). Fortran, ACM SIGPLAN Notices, 12:7, (112-125), Online publication date: 1-Jul-1977.
- Barth J (1977). Shifting garbage collection overhead to compile time, Communications of the ACM, 20:7, (513-518), Online publication date: 1-Jul-1977.
- van der Meulen S (1977). ALGOL 68 might-have-beens, ACM SIGPLAN Notices, 12:6, (1-18), Online publication date: 1-Jun-1977.
- 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.
- Beatty J Iteration theorems for LL(k) languages (Extended Abstract) Proceedings of the ninth annual ACM symposium on Theory of computing, (122-131)
- 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.
- Urban J and Towster E Specifications of computer programs using Hoare tree formalism Proceedings of the 15th annual ACM Southeast Regional Conference, (414-425)
- 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.
- 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.
- Herriot R (1977). Towards the ideal programming language, ACM SIGOPS Operating Systems Review, 11:2, (56-62), Online publication date: 1-Apr-1977.
- 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.
- 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.
- 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.
- van der Meulen S ALGOL 68 might-have-beens Proceedings of the Strathclyde ALGOL 68 conference, (1-18)
- 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)
- 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)
- Herriot R Towards the ideal programming language Proceedings of an ACM conference on Language design for reliable software, (56-62)
- 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)
- 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)
- 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)
- 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.
- 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.
- Herriot R (1977). Towards the ideal programming language, ACM SIGSOFT Software Engineering Notes, 2:2, (56-62), Online publication date: 1-Mar-1977.
- 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.
- 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.
- 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.
- 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.
- 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.
- Herriot R (1977). Towards the ideal programming language, ACM SIGPLAN Notices, 12:3, (56-62), Online publication date: 1-Mar-1977.
- 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.
- 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.
- 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.
- 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)
- 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.
- 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.
- Hansen P (1977). The architecture of concurrent programs, 10.5555/540128, Online publication date: 1-Jan-1977.
- Kittlitz E (1977). Another proposal for variable size arrays in PASCAL, ACM SIGPLAN Notices, 12:1, (82-86), Online publication date: 1-Jan-1977.
- Barth J An interprocedural data flow analysis algorithm Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, (119-131)
- Kahn L (1976). Program structure definition using binary relations, ACM SIGPLAN Notices, 11:12, (38-55), Online publication date: 1-Dec-1976.
- 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.
- Hodges B and Ryan J A system for automatic software evaluation Proceedings of the 2nd international conference on Software engineering, (617-623)
- 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.
- Kittlitz E (1976). Block statements and synonyms for PASCAL, ACM SIGPLAN Notices, 11:10, (32-35), Online publication date: 1-Oct-1976.
- Kieburtz R Programming without pointer variables Proceedings of the 1976 conference on Data : Abstraction, definition and structure, (95-107)
- Kieburtz R (1976). Programming without pointer variables, ACM SIGPLAN Notices, 11:SI, (95-107), Online publication date: 15-Mar-1976.
- Kieburtz R (1976). Programming without pointer variables, ACM SIGMOD Record, 8:2, (95-107), Online publication date: 1-Mar-1976.
- 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.
- Bond R (1975). Free form structured FORTRAN translator, ACM SIGPLAN Notices, 10:10, (12-15), Online publication date: 1-Oct-1975.
- Wirth N (1975). An assessment of the programming language PASCAL, ACM SIGPLAN Notices, 10:6, (23-30), Online publication date: 1-Jun-1975.
- Wirth N An assessment of the programming language PASCAL Proceedings of the international conference on Reliable software, (23-30)
Recommendations
Pascal
Encyclopedia of Computer SciencePascal was developed by Niklaus Wirth (1971) in the late 1960s and early 1970s following some earlier work by Wirth and Hoare (1966) to improve upon Algol (q.v.) in the area of data-structuring facilities (data types). While Pascal was designed in part ...