1983
8 references published this year.
History of the Design of the SAGE Computer-The AN/FSQ-7
Morton M. Astrahan and others (1983) · IEEE Annals of the History of Computing · Institute of Electrical and Electronics Engineers
Higher-order logic
Johan van Benthem and others (1983) · Handbook of philosophical logic · Springer
Effective axiomatizations of Hoare logics
Edmund M. Clarke Jr. and others (1983) · Journal of the ACM
Proof methods for modal and intuitionistic logics
Melvin Fitting (1983) · Springer
Hints for computer system design
Butler Lampson (1983) · ACM SIGOPS Operating Systems Review · Association for Computing Machinery
Wafer-Scale Integration of Systolic Arrays
Frank Thomson Leighton and others (1983) · MIT Laboratory for Computer Science
On the Notion of Expressiveness and the Rule of Adaption
Ernst-Rüdiger Olderog (1983) · Theoretical Computer Science
Types, Abstraction and Parametric Polymorphism
John C. Reynolds (1983) · Information Processing 83 · North-Holland