1982
8 references published this year.
Handbook of mathematical logic
Jon Barwise (1982) · Elsevier
The thermodynamics of computation---a review
Charles H. Bennett (1982) · International Journal of Theoretical Physics · Springer Science+Business Media
Expressiveness and the completeness of Hoare's logic
Jan A. Bergstra and others (1982) · Journal of Computer and System Sciences · Elsevier BV
Some natural structures which fail to possess a sound and decidable Hoare-like logic for their while-programs
Jan A. Bergstra and others (1982) · Theoretical Computer Science
Principal type-schemes for functional programs
Luis Damas and others (1982) · Proceedings of the 9th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages · Association for Computing Machinery
The Byzantine Generals Problem
Leslie Lamport and others (1982) · ACM Transactions on Programming Languages and Systems · Association for Computing Machinery
A General Axiom of Assignment
Joseph M. Morris (1982) · Theoretical Foundations of Programming Methodology · Springer
Specification and verification of concurrent systems in CESAR
J. P. Queille and others (1982) · 5th International Symposium on Programming · Springer