You have Guest access.
Log In
C. A. R. Hoare and N. Wirth
Journal Article
Critical comments on the programming language Pascal
A. N. Habermann
Acta Informatica, 1973, Volume 3, Number 1, Pages 47-57
Book Chapter
The multiple assignment statement
David Gries
Lecture Notes in Computer Science, 1979, Volume 69, Program Construction, Pages 100-112
The Essence of Programming Languages
Niklaus Wirth
Lecture Notes in Computer Science, 2003, Volume 2789, Modular Programming Languages, Pages 1-11
The programming language pascal
N. Wirth
Acta Informatica, 1971, Volume 1, Number 1, Pages 35-63
Some issues in data types and type checking
Benjamin M. Brosgol
Lecture Notes in Computer Science, 1977, Volume 54, Design and Implementation of Programming Languages, Pages 102-130
Practical methods of program verification
V. A. Nepomnyashchii
Cybernetics and Systems Analysis, 1984, Volume 20, Number 2, Pages 193-203
The reliability of programming systems
H. Gerstmann, H. Diel and W. Witzel
Lecture Notes in Computer Science, 1975, Volume 23, Programming Methodology, Pages 87-113
Report
K. Jensen and N. Wirth
Lecture Notes in Computer Science, 1974, Volume 18, PASCAL User Manual and Report, Pages 131-170
Axioms of algorithmic logic univocally determine semantics of programs
Andrzej Salwicki
Lecture Notes in Computer Science, 1980, Volume 88, Mathematical Foundations of Computer Science 1980, Pages 552-561
Language design methods based on semantic principles
R. D. Tennent
Acta Informatica, 1977, Volume 8, Number 2, Pages 97-112
Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us
© Springer, Part of Springer Science+Business Media Privacy, Disclaimer, Terms & Conditions, and Copyright Info