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…
324 Citations
Pascal-clarifications and recommended extensions
- MedicineActa Informatica
- 2004
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
- Computer ScienceSIGP
- 1990
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
- Computer Science
- 2015
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
- Computer ScienceEngineering with Computers
- 2005
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
- Computer ScienceDSV-IS
- 1996
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
- Computer ScienceSoftw. Eng. J.
- 1992
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
- Computer Science
- 2005
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
- Computer Science
- 2001
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
- Computer ScienceConstructivity in Computer Science
- 1991
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
- Computer Science32nd Annual Frontiers in Education
- 2002
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.
References
SHOWING 1-10 OF 11 REFERENCES
What can we do about the unnecessary diversity of notation for syntactic definitions?
- LinguisticsCACM
- 1977
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
- Computer ScienceIEEE 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
- Computer ScienceSoftw. 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
- Computer ScienceCACM
- 1983
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
- Computer ScienceActa Informatica
- 1973
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