Pascal User Manual and Report

@inproceedings{Jensen1991PascalUM,
  title={Pascal User Manual and Report},
  author={Kathleen Jensen and Niklaus Wirth},
  booktitle={Springer New York},
  year={1991}
}
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… 
Pascal-clarifications and recommended extensions
TLDR
To clarify certain issues in the language Pascal that were left open by the defining Report and to recommend specific forms for certain extensions of the language that have repeatedly appeared in discussions and even implementations, the paper establishes guidelines for standardization and revision of the Pascal Report.
Proposal for a categorical programming language
TLDR
This paper is proposing an undertaking that will put " the horse before the cart" so to speak, almost having the effect that the semantic interpretation and the language design philosophy might be thought to coincide.
A programming system for end-user functional programming
TLDR
This research involves the construction of a programming system, HASKEU, to support end-user programming in a purely functional programming language, using the elegant Functional Reactive Programming (FRP) framework.
An evaluation of programming languages and language features for engineering software development
TLDR
The history behind four of the more well-known programming languages are briefly looked at, and the attributes of programming languages that significantly affect the production of engineering software are identified.
Toward More Understandable User Interface Specifications
TLDR
It is suggested that user interface specifications are difficult to interpret manually, and a possible solution to this problem, specification animation, is also described.
High-level language extensions for user-interface programming
TLDR
The goal is to provide a language where the display items, dialogue control rules, application software, concurrent operations, and dynamic program linking can all be easily programmed in the same language, without resorting to an assembler language or another language.
RECOLLECTIONS ABOUT THE DEVELOPMENT OF PASCAL
TLDR
Pascal was defined in 1970 and, after a slow start, became one of the most widely used languages in introductory programming courses and a basis for further development of languages and for experiments in program verification.
AN ASSES5MENT OF THE PROGRAMMING LANGUAGE PA5CAL
The programming language PASCAL is assessed in the light of "reliable programming" and with the background of five years of experience with the language. Some features are selected to point out
The Type Structure of CAT
TLDR
The CAT language, even as seen at an informal level (as is the treatment here), nevertheless introduces a number of important constructive notions, in particular that of "provable recursiveness," one that seems to have been overlooked in the literature.
The evolution of CS1 textbooks
TLDR
This paper analyzes textbooks used in CS1 through the years for a number of different imperative languages, looking at the sizes of the textbooks, the amount of coverage of various topics, and the point at which those topics are started.
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 11 REFERENCES
What can we do about the unnecessary diversity of notation for syntactic definitions?
The population of programming languages is steadily growing, and there is no end of this growth in sight. Many language definitions appear in journals, many are found in technical reports, and
An assessment of the programming language pascal
  • N. Wirth
  • Computer Science
    IEEE Transactions on Software Engineering
  • 1975
The programming language Pascal is assessed in the light of `reliable programming' and with the background of five years of experience with the language. Some features are selected to point out
The design of a pascal compiler
  • N. Wirth
  • Computer Science
    Softw. Pract. Exp.
  • 1971
The development of a compiler for the programming language PASCAL1 is described in some detail. Design decisions concerning the layout of program and data, the organization of the compiler including
Program development by stepwise refinement
TLDR
The process of successive refinement of specifications is illustrated by a short but nontrivial example, from which a number of conclusions are drawn regarding the art and the instruction of programming.
An Axiomatic Definition of the Programming Language PASCAL
The axiomatic definition method proposed in reference [5] is extended and applied to define the meaning of the programming language PASCAL [1]. The whole language is covered with the exception of
The Programming Language Pascal," Act a 1 nformatica
  • 1971
Ambiguities and Insecurities in Pascal," PascalThe Language and its Implementation
  • 1981
The Pascal Validation Suite," Pascal
  • News /6,
  • 1979
+Data Structures = Programs
  • 1976
Systematic Programming, Prentice-Hall, Inc
  • 1973
...
1
2
...