J. W. de Bakker

Born 1939-01-01

Identifiers

Open LibraryOL455603A

Top Subjects

Programming languages (Electronic computers) (1)
ALGOL (Computer program language) (1)
Formal languages. (1)
Recursive functions. (1)
Logic, Symbolic and mathematical. (1)
Computer programs -- Correctness. (1)
Programming languages (Electronic computers) -- Semantics. (1)

Books by J. W. de Bakker

Total count: 5

Formal definition of programming languages, with an application to the definition of ALGOL 60

1967-01-01
Formal definition of programming languages.With an application to the definition of algol 60.

Mathematisch Centrum1967-01-01
Recursive procedures

Mathematisch Centrum1971-01-01
Mathematical theory of program correctness

Prentice-Hall International1980-01-01
Control flow semantics

MIT Press1996-01-01