1993
6 references published this year.
Assigning meanings to programs
Robert W. Floyd (1993) · Program Verification: Fundamental Issues in Computer Science
The computer as Von Neumann planned it
Michael D. Godfrey et al. (1993) · IEEE Annals of the History of Computing
A denotational approach for type-checking in object-oriented programming languages
Roberto Ierusalimschy (1993) · Computer Languages
Berkeley's philosophy of mathematics
Douglas M. Jesseph (1993)
Formal Methods and the Certification of Critical Systems
John Rushby (1993)
The formal semantics of programming languages: an introduction
Glynn Winskel (1993)