Differentiation in PASCAL-SC: type GRADIENT
ACM Transactions on Mathematical Software (TOMS)
Optimization of parser tables for portable compilers
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
Information-flow and data-flow analysis of while-programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A new analysis of LALR formalisms
ACM Transactions on Programming Languages and Systems (TOPLAS)
Towards monolingual programming environments
ACM Transactions on Programming Languages and Systems (TOPLAS) - Lecture notes in computer science Vol. 174
A General backtrack algorithm for the isomorphism problem of combinatorial objects
Journal of Symbolic Computation
Programming pascal with physical units
ACM SIGPLAN Notices
From semi-syntactic lexical analyzer to a new compiler model
ACM SIGPLAN Notices
A study of record packing methods
ACM SIGPLAN Notices
Formal models of stepwise refinements of programs
ACM Computing Surveys (CSUR)
SAMP: a general purpose processor based on a self-timed VLIW structure
ACM SIGARCH Computer Architecture News
Programming constructs for database system implementation in EXODUS
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
A precompiler for modular, transportable Pascal
ACM SIGPLAN Notices
What does Modular-2 need to fully support object oriented programming?
ACM SIGPLAN Notices
ACM SIGPLAN Notices
ACM SIGPLAN Notices
IEEE Transactions on Software Engineering
ACM SIGPLAN Notices
Program Translation Via Abstraction and Reimplementation
IEEE Transactions on Software Engineering
Designing conceptual models of dialog: a case for dialog charts
ACM SIGCHI Bulletin
Portable software in modular Pascal
ACM SIGPLAN Notices
Adding regular expressions to Pascal
ACM SIGPLAN Notices
A translator from small euclid to pascal
ACM SIGPLAN Notices
Generation of Compiler Symbol Processing Mechanisms from Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Aspects of OBERON suitable for graphics applications
ACM SIGPLAN Notices
Estimating the number of test cases required to satisfy the all-du-paths testing criterion
TAV3 Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification
How to print floating-point numbers accurately
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A new language for multicomputer programming
ACM SIGPLAN Notices
Macro processing in high-level languages
ACM SIGPLAN Notices
IBM Journal of Research and Development
The development of the C language
HOPL-II The second ACM SIGPLAN conference on History of programming languages
On subprograms with a variable number of parameters of varying types
ACM SIGPLAN Notices
ACM SIGMOD Record
Syntactic diagrams as a tool for solving text-processing problems
ACM SIGCSE Bulletin
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Precise Documentation of Well-Structured Programs
IEEE Transactions on Software Engineering
ACM SIGPLAN Lisp Pointers
Proceedings of the 18th international conference on Software engineering
Bandwagons considered harmful, or the past as prologue in curriculum change
ACM SIGCSE Bulletin
An initial assessment of aspect-oriented programming
Proceedings of the 21st international conference on Software engineering
The Analyst—a workstation for analysis and design
ICSE '85 Proceedings of the 8th international conference on Software engineering
SHAPE: a highly adaptable and parallel system
CSC '86 Proceedings of the 1986 ACM fourteenth annual conference on Computer science
Dependency analysis for Standard ML
ACM Transactions on Programming Languages and Systems (TOPLAS)
Keywords: special identifier idioms
ACM SIGPLAN Notices
On the Composition of Well-Structured Programs
ACM Computing Surveys (CSUR)
Graphics Programming Using the Core System
ACM Computing Surveys (CSUR)
Handling Operator Precedence in Arithmetic Expressions with Tree Transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Flexible Notation for Syntactic Definitions
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Introduction to S/SL: Syntax/Semantic Language
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient Computation of LALR(1) Look-Ahead Sets
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
Analysis of pointer “rotation”
Communications of the ACM
Specification and verification of the UCLA Unix security kernel
Communications of the ACM
Communications of the ACM
SP/k: a system for teaching computer programming
Communications of the ACM
A practical interprocedural data flow analysis algorithm
Communications of the ACM
Some ideas on data types in high-level languages
Communications of the ACM
Shifting garbage collection overhead to compile time
Communications of the ACM
Abstraction and verification in Alphard: defining and specifying iteration and generators
Communications of the ACM
An efficient data structure for the simulation event set
Communications of the ACM
Regular right part grammars and their parsers
Communications of the ACM
Toward machine independent microcode
ACM SIGMICRO Newsletter
Experiments with file accessing techniques
ACM SIGCSE Bulletin
Strong typing and physical units
ACM SIGPLAN Notices
The case for simplified languages
ACM SIGPLAN Notices
Non-technical issues in acceptance of SILs
ACM SIGPLAN Notices
Experience with teaching assembly language
ACM SIGCSE Bulletin
Translation of nested Pascal routines to C
ACM SIGPLAN Notices
Programming without enumerations in Oberon
ACM SIGPLAN Notices
The programming languages REC and convert
ACM SIGPLAN Notices
ACM-SE 20 Proceedings of the 20th annual Southeast regional conference
From Pascal to Delphi to Object Pascal-2000
ACM SIGPLAN Notices
Data types as values: polymorphism, type-checking, encapsulation
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Type definitions with parameters
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automating proofs of the absence of common runtime errors
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
An interprocedural data flow analysis algorithm
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The architecture of concurrent programs
The architecture of concurrent programs
You'd better set down for this!: creating a set type for CS1 & CS2 in C#
Proceedings of the 7th annual conference on Innovation and technology in computer science education
Paths: an abstract alternative to pointers
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Modeling of problem domains for driving program development systems
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Principles of proving concurrent programs in Gypsy
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
The design and implementation of an APL dialect, ELI
APL '00 Proceedings of the international conference on APL-Berlin-2000 conference
Vector pascal reference manual
ACM SIGPLAN Notices
FLASH: a language-independent, portable file access system
SIGMOD '80 Proceedings of the 1980 ACM SIGMOD international conference on Management of data
Pinnacles of software engineering: 25 years of formal methods
Annals of Software Engineering
Concepts and realization of a diagram editor generator based on hypergraph transformation
Science of Computer Programming - Special issue on applications of graph transformations (GRATRA 2000)
A Graph-Based Data Model and its Ramifications
IEEE Transactions on Knowledge and Data Engineering
A hardware mechanism for supporting range checks
ACM SIGARCH Computer Architecture News
The Solo operating system: a concurrent Pascal program
The origin of concurrent programming
Direct implementation of compiler specifications or the pascal p-code compiler revisited
POPL '84 Proceedings of the 11th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A graphical tool for conceptual design of data base applications
DAC '83 Proceedings of the 20th Design Automation Conference
HARPA: A hierarchical multi-level hardware description language
DAC '84 Proceedings of the 21st Design Automation Conference
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Teaching problem solving in an introductory computer science class
SIGCSE '81 Proceedings of the twelfth SIGCSE technical symposium on Computer science education
Pascal procedures and functions for teaching linear data structures
SIGCSE '83 Proceedings of the fourteenth SIGCSE technical symposium on Computer science education
INCENSE: A system for displaying data structures
SIGGRAPH '83 Proceedings of the 10th annual conference on Computer graphics and interactive techniques
A parser generator project for a compiler construction course
SIGCSE '82 Proceedings of the thirteenth SIGCSE technical symposium on Computer science education
A detailed interactive simulation system for developing command and control systems
ANSS '83 Proceedings of the 16th annual symposium on Simulation
Ada and multi-microprocessor real-time simulation
ANSS '83 Proceedings of the 16th annual symposium on Simulation
A new program structure to improve accuracy and readability of pascal software
ICSE '84 Proceedings of the 7th international conference on Software engineering
Implementation of Interlisp on the VAX
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
LFP '82 Proceedings of the 1982 ACM symposium on LISP and functional programming
Symbolic simulation for functional verification with ADLIB and SDL
DAC '81 Proceedings of the 18th Design Automation Conference
Micro-SIMPAS: A microprocessor based simulation language
ANSS '81 Proceedings of the 14th annual symposium on Simulation
Development of computer programs by problem analysis Diagram(PAD)
ICSE '81 Proceedings of the 5th international conference on Software engineering
Beyond ALBE/P: Language neutral form
ICSE '81 Proceedings of the 5th international conference on Software engineering
A tutorial on simulation programming with SIMPAS
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 2
MULTI - a LISP based multiprocessing system
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
LFP '80 Proceedings of the 1980 ACM conference on LISP and functional programming
ICSE '79 Proceedings of the 4th international conference on Software engineering
Hierarchical coroutines a mechanism for improved program structure
ICSE '79 Proceedings of the 4th international conference on Software engineering
Design and implementation of a flexible and interactive microprogram simulator
MICRO 12 Proceedings of the 12th annual workshop on Microprogramming
A type-checking program linkage system for pascal
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Evolution in the design of abstract machines for software portability
ICSE '78 Proceedings of the 3rd international conference on Software engineering
Team dynamics in systems development and management
SIGCPR '77 Proceedings of the fifteenth annual SIGCPR conference
ORACLE a tool for learning compiler writing
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Iteration theorems for LL(k) languages (Extended Abstract)
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
A Report On The Development Of Gypsy
ACM '78 Proceedings of the 1978 annual conference
Direct connection between Compiling Techniques and Databases courses
SIGCSE '78 Proceedings of the ninth SIGCSE technical symposium on Computer science education
Towards a microprogramming language schema
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
System facilities for CAD databases
DAC '80 Proceedings of the 17th Design Automation Conference
A data structure for gridless routing
DAC '80 Proceedings of the 17th Design Automation Conference
Introducing programming concepts with graphical objects
SIGCSE '80 Proceedings of the eleventh SIGCSE technical symposium on Computer science education
APL in operating systems research
APL '81 Proceedings of the international conference on APL
Models for specification and anaysis of parallel computing systems
SIGMETRICS '79 Proceedings of the 1979 ACM SIGMETRICS conference on Simulation, measurement and modeling of computer systems
Using Pascal for numerical analysis
Proceedings of the SIGNUM Conference on the Programming Environment for Development of Numerical Software
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Design rationale for TELOS, a PASCAL-based AI language
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Semantic charts: A diagrammatic approach to semantic processing
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
On implementing separate compilation in block-structured languages
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Efficient computation of LALR(1) look-ahead sets
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
A comparison of PASCAL intermediate languages
SIGPLAN '79 Proceedings of the 1979 SIGPLAN symposium on Compiler construction
Tailoring testing to a specific compiler—experiences
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
An optimizing compiler for lexically scoped LISP
SIGPLAN '82 Proceedings of the 1982 SIGPLAN symposium on Compiler construction
Programming without pointer variables
Proceedings of the 1976 conference on Data : Abstraction, definition and structure
Proceedings of the Strathclyde ALGOL 68 conference
A system for automatic software evaluation
ICSE '76 Proceedings of the 2nd international conference on Software engineering
Consistency checking within embedded design languages
ICSE '82 Proceedings of the 6th international conference on Software engineering
Ada as a software transition tool
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on The ADA programming language
A systematic approach to advanced debugging through incremental compilation (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
Hardware assisted high level debugging (Preliminary Draft)
SIGSOFT '83 Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on High-level debugging
GNOME: An introductory programming environment based on a family of structure editors
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
ISDE: An Interactive Software Development Environment
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Gypsy: A language for specification and implementation of verifiable programs
Proceedings of an ACM conference on Language design for reliable software
Efficient implementation and optimization of run-time checking in PASCAL
Proceedings of an ACM conference on Language design for reliable software
A study of protection in programming languages
Proceedings of an ACM conference on Language design for reliable software
Towards the ideal programming language
Proceedings of an ACM conference on Language design for reliable software
Restricted data types, specification and enforcement of invariant properties of variables
Proceedings of an ACM conference on Language design for reliable software
Static determination of dynamic properties of generalized type unions
Proceedings of an ACM conference on Language design for reliable software
An assessment of the programming language PASCAL
Proceedings of the international conference on Reliable software
A characterization of Hoare's logic for programs with Pascal-like procedures
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
Discrete event simulation on mini- and microcomputers: Some experiments with the Pascal language
WSC '81 Proceedings of the 13th conference on Winter simulation - Volume 1
SIMPAS: A simulation language based on PASCAL
WSC '80 Proceedings of the 12th conference on Winter simulation
SABLE: A tool for generating structured, multi-level simulations
DAC '79 Proceedings of the 16th Design Automation Conference
ICPL: an initial concurrent programming language
ACM SIGCSE Bulletin
SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)
On structuring operating systems with monitors
ACM SIGOPS Operating Systems Review
REPOS: An operating system for the PDP-11
ACM SIGOPS Operating Systems Review
The external consistency of abstract data types
ACM SIGPLAN Notices
Toward relaxing assumptions in languages and their implementations
ACM SIGPLAN Notices
Real-time programming in PORTAL
ACM SIGPLAN Notices
Paged input/output in some high level languages
ACM SIGPLAN Notices
ACM SIGPLAN Notices
A model for Pascal-like typing
ACM SIGPLAN Notices
A note on the distributed program component cell
ACM SIGPLAN Notices
PASES: a programming environment for PASCAL
ACM SIGPLAN Notices
A Pascal compiler testing facility
ACM SIGPLAN Notices
Optional, repeatable, and varying type parameters
ACM SIGPLAN Notices
Pascal for operating software?: a critical examination
ACM SIGPLAN Notices
Defining software science counting strategies
ACM SIGPLAN Notices
A separate compilation facility for PASCAL
ACM SIGPLAN Notices
Ambiguities and insecurities in Modula-2
ACM SIGPLAN Notices
Syntax diagrams for ISO Pascal standard
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Containment defines a class of recursive data structures
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Implementing data abstractions and monitors in UCSD Pascal
ACM SIGPLAN Notices
Differences between Modula-2 and Pascal
ACM SIGPLAN Notices
GRASE: a graphical syntax-directed editor for structured programming
ACM SIGPLAN Notices
Prettyprinting styles for various languages
ACM SIGPLAN Notices
"Combined actions to reduce LR-parsertables": (experimental results)
ACM SIGPLAN Notices
Some remarks on records with variants
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Experiences porting Pascal source from a micro computer to a Vax
ACM SIGPLAN Notices
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Ada as a software transition tool
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
Source-to-source translation: Ada to Pascal and Pascal to Ada
SIGPLAN '80 Proceedings of the ACM-SIGPLAN symposium on Ada programming language
A comparison of PASCAL and FORTRAN as introductory programming languages
ACM SIGPLAN Notices
An approach to efficient, fault tolerant programming
ACM SIGPLAN Notices
A contribution to an improvement of PASCAL
ACM SIGPLAN Notices
Structured formatting of Pascal programs
ACM SIGPLAN Notices
Program readability, closing keywords and prefix-style intermediate keywords
ACM SIGPLAN Notices
The CAMIL programming language
ACM SIGPLAN Notices
On nondeterministic control structures
ACM SIGPLAN Notices
Prettyprinting PASCAL programs
ACM SIGPLAN Notices
A discipline for the programming of interactive I/O in Pascal
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An extended attribute grammar for Pascal
ACM SIGPLAN Notices
CHAMIL: a case study in microprogramming language design
ACM SIGPLAN Notices
An integrated data base language
ACM SIGPLAN Notices
Enumerations in Pascal, ADA, and beyond
ACM SIGPLAN Notices
Ordered types and a generalized for statement
ACM SIGPLAN Notices
A reminder for language designers
ACM SIGPLAN Notices
Another proposal for variable size arrays in PASCAL
ACM SIGPLAN Notices
Block statements and synonyms for PASCAL
ACM SIGPLAN Notices
Formal types and their application to dynamic arrays in PASCAL
ACM SIGPLAN Notices
A service acquisition mechanism for the client/service model in cygnus
CASCON '91 Proceedings of the 1991 conference of the Centre for Advanced Studies on Collaborative research
Report on the programming language Euclid
ACM SIGPLAN Notices
PL-detective: a system for teaching programming language concepts
Proceedings of the 35th SIGCSE technical symposium on Computer science education
Free form structured FORTRAN translator
ACM SIGPLAN Notices
Experience with the use of the case statement within a M.O.L.
ACM SIGPLAN Notices
Program structure definition using binary relations
ACM SIGPLAN Notices
Proposal for a categorical programming language
ACM SIGPLAN Notices
On layout, identifiers and semicolons in Pascal programs
ACM SIGPLAN Notices
Preliminary ZENO language description
ACM SIGPLAN Notices
Type equivalence in strongly typed languages: one more look
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Prettyprinting structured programs with connector lines
ACM SIGPLAN Notices
The case against Pascal as a teaching tool
ACM SIGPLAN Notices
ACM SIGPLAN Notices
An alternative to conformant-array parameters in Pascal
ACM SIGPLAN Notices
Enhanced input/output on Pascal
ACM SIGPLAN Notices
A note on types and prototypes
ACM SIGPLAN Notices
Pascal as host language of computer algebra systems
ACM SIGPLAN Notices
ACM SIGPLAN Notices
SARTEX a programming language for graph processing
ACM SIGPLAN Notices
A case for teaching multi-exit loops to beginning programmers
ACM SIGPLAN Notices
A note on the MODULO operation
ACM SIGPLAN Notices
Another look at enumerated types
ACM SIGPLAN Notices
ACM SIGPLAN Notices
Some improvements of ISO-Pascal
ACM SIGPLAN Notices
Efficient computation of LALR(1) look-ahead sets
ACM SIGPLAN Notices - Best of PLDI 1979-1999
How to print floating-point numbers accurately
ACM SIGPLAN Notices - Best of PLDI 1979-1999
The introductory programming course in computer science: ten principles
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
A first course in computer science for graduate students
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
The roots of structured programming
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
SIGCSE '78 Papers of the SIGCSE/CSA technical symposium on Computer science education
Constructing verified and reliable communications processing systems
ACM SIGSOFT Software Engineering Notes
Implementation prototypes in the development of programming language features
Proceedings of the workshop on Rapid prototyping
Comparison of algebraic and state-machine specification methods
ACM SIGSOFT Software Engineering Notes
A tutorial on discrete-system simulation in Ada
WSC '82 Proceedings of the 14th conference on Winter Simulation - Volume 2
ACM SIGPLAN Fortran Forum
A computer application in music composition
ACM SIGLASH Newsletter
Recollections about the development of Pascal
History of programming languages---II
Encyclopedia of Computer Science
Encyclopedia of Computer Science
PL-detective: A system for teaching programming language concepts
Journal on Educational Resources in Computing (JERIC)
Flow graph machine models in microcode synthesis
ACM SIGMICRO Newsletter
Problems in the initial teaching of programming using Java: the case for replacing J2SE with J2ME
Proceedings of the 11th annual SIGCSE conference on Innovation and technology in computer science education
CS1 programming language options
Journal of Computing Sciences in Colleges
The direct execution of intermediate languages on an Eclipse computer
ACM SIGMICRO Newsletter
Higher order Programming in Java: Introspection, Subsumption and Extraction
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2004)
Machine and collection abstractions for user-implemented data-parallel programming
Scientific Programming
ACM Turing award lectures
Scientific programming in Fortran
Scientific Programming - Fortran Programming Language and Scientific Programming: 50 Years of Mutual Growth
Problems in the ontology of computer programs
Applied Ontology
Software sympathetic chip set design
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Specifying target resources in a machine independent higher level language
AFIPS '81 Proceedings of the May 4-7, 1981, national computer conference
Some practical experiences with the Pascal language
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
UCSD Pascal™: a portable software environment for small computers
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Translating non-standard extensions to standard Pascal
AFIPS '80 Proceedings of the May 19-22, 1980, national computer conference
Data abstraction for Pascal programmers
AFIPS '82 Proceedings of the June 7-10, 1982, national computer conference
Methods as Parameters: A Preprocessing Approach to Higher Order in Java
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
A scrabble crossword game playing program
IJCAI'79 Proceedings of the 6th international joint conference on Artificial intelligence - Volume 2
Orthogonal parallel processing in vector Pascal
Computer Languages, Systems and Structures
JANUS: an interactive document formatter based on declarative tags
IBM Systems Journal
IBM Journal of Research and Development
Language facilities for programming user-computer dialogues
IBM Journal of Research and Development
Monetary values: double trouble or dollars and sense?
Proceedings of the 41st ACM technical symposium on Computer science education
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Specifications of computer programs using Hoare tree formalism
ACM-SE 15 Proceedings of the 15th annual Southeast regional conference
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Associative definition of programming languages
Computer Languages
Assertion techniques for dynamic monitoring of linear list data structures
Journal of Systems and Software
Pattern matching and pattern-directed invocation in systems programming languages
Journal of Systems and Software
Problems in the ontology of computer programs
Applied Ontology
Hi-index | 0.17 |
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.