A Variant to Turing's Theory of Computing Machines
Journal of the ACM (JACM)
Computability of Recursive Functions
Journal of the ACM (JACM)
Random-Access Stored-Program Machines, an Approach to Programming Languages
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
On transformations of programs
Journal of Computer and System Sciences
Proving a compiler correct: A simple approach
Journal of Computer and System Sciences
| Hi-index | 0.00 |