An Axiomatic Definition of the Programming Language PASCAL

An Axiomatic Definition of the Programming Language PASCAL

Show other versions (1)

Bibliographic Details
Main Authors:	Hoare, C, Wirth, N
Format:	Journal article
Published:	1973

Similar Items

An Axiomatic Definition of the Programming Language PASCAL
by: Hoare, C
Published: (1972)

Axiomatic Definitions of Programming Languages: A Theoretical Assessment
by: Meyer, Albert R., et al.
Published: (2023)

Parallel Programming: An Axiomatic Approach
by: Hoare, C
Published: (1975)

An Axiomatic Basis of Computer Programming
by: Hoare, C
Published: (2015)

An Axiomatic Basis for Computer Programming
by: Hoare, C
Published: (1969)

Viewpoint − Retrospective: an axiomatic basis for computer programming
by: Hoare, C
Published: (2009)

The Axiomatic Method
by: Hoare, C
Published: (1968)

Information technology - programming languages - pascal
by: 8096 British Standards Institution
Published: (1990)

Procedures and Parameters: An Axiomatic Approach
by: Hoare, C
Published: (1971)

Programming with Pascal /
by: 239599 Konvalina, John, et al.
Published: (1987)

Programming in Pascal /
by: 384248 Grogono, Peter
Published: (c198)

Pascal programming /
by: Forkner, Irvine, 1921-
Published: (1985)

Programming standard Pascal /
by: 217982 Holt, Richard C., et al.
Published: (1980)

Comparing and assessing programming languages : Ada, C and Pascal /
by: Feuer, Alan R., et al.
Published: (1984)

Ambiguities and Insecurities in PASCAL
by: Welsh, J, et al.
Published: (2015)

Pascal : program development with ten instruction Pascal subset (TIPS) and standard Pascal /
by: 357229 Kennedy, Michael, et al.
Published: (1982)

Sistem penilai aturcara pascal (Pascal Program Evalustor) /
by: Ismail Fauzi Isnin 435417
Published: (2001)

Pascal at work and play : an introduction to computer programming in PASCAL /
by: 234453 Forsyth, Richard
Published: (1982)

Paradigms and programming with Pascal /
by: 329214 Wood, Derick
Published: (1984)

Programming via Pascal /
by: 227132 Rohl, J. S., et al.
Published: (1980)

Programming in Pascal [kaset]
Published: (1981)

Programming with Macintosh Pascal /
by: 198623 Rink, Richard A., et al.
Published: (1989)

Linear programming in Pascal /
by: 277006 Bunday, Brian D., et al.
Published: (1987)

Programming microcomputers with PASCAL /
by: 369833 Beer, M. D.
Published: (1982)

Algorithms, programming, Pascal /
by: 324822 Li Santi, Barbara, et al.
Published: (1987)

Logics of Programs: Axiomatics and Descriptive Power
by: Harel, David
Published: (2023)

Pascal programs and computer control : applications of Turbo Pascal and UCSD Pascal for the IBM PC and Apple II /
by: 464899 Teo, Cheng Yu
Published: (1986)

Pascal Programs for scientists and engineers /
by: 185413 Miller, Alan R.
Published: (1981)

Programming expert systems in Pascal /
by: 240464 Sawyer, Brian, et al.
Published: (1986)

Turbo pascal programming with application /
by: 176299 Wortman, Leon A.
Published: (1985)

Programming using Turbo Pascal /
by: 187461 Riley, John H.
Published: (1987)

Structured programming using Pascal /
by: 397375 Crawley, J. Winston, et al.
Published: (1988)

Scientific programming with Macintosh Pascal /
by: Crandall, Richard E. 384226, et al.
Published: (1986)

Pascal : programming and problem solving /
by: 284822 Leestma, Sanford, et al.
Published: (1984)

Axiomatic geometry /
by: 457635 Gemignani, Michael
Published: (1971)

Advanced programming and problem solving with Pascal /
by: 185536 Schneider, G. Michael, et al.
Published: (1987)

Termination Assertions for Recursive Programs: Completeness and Axiomatic Definability
by: Meyer, Albert R., et al.
Published: (2023)

Advanced graphics programming in Turbo Pascal /
by: 195170 Stevens, Roger T., et al.
Published: (1991)

Discrete optimization algorithms with Pascal program /
by: 197543 Syslo, Maciej M., et al.
Published: (1983)

Problem-solving principles : programming with PASCAL /
by: 190801 Prather, Ronald E.
Published: (1982)