A Variant to Turing's Theory of Computing Machines
Journal of the ACM (JACM)
Computability of Recursive Functions
Journal of the ACM (JACM)
Report on the algorithmic language ALGOL 60
Communications of the ACM
Scans as Primitive Parallel Operations
IEEE Transactions on Computers
Subrecursive Programming Languages, Part I: efficiency and program structure
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
A Sampler of Formal Definitions
ACM Computing Surveys (CSUR)
Communications of the ACM
Multi-tape and infinite-state automata—a survey
Communications of the ACM
Computer Science And Recursion Theory
ACM '78 Proceedings of the 1978 annual conference
Predecessor machines and regressing functions
STOC '72 Proceedings of the fourth annual ACM symposium on Theory of computing
On the size of programs in subrecursive formalisms
STOC '70 Proceedings of the second annual ACM symposium on Theory of computing
Towards a theory of semantics and compilers for programming languages
STOC '69 Proceedings of the first annual ACM symposium on Theory of computing
Invited papers—1: basic concepts of automata theory
ACM '65 Proceedings of the 1965 20th national conference
Decision problems in computational models
Proceedings of ACM conference on Proving assertions about programs
Microprogrammed random access stored program machines
ACM SIGACT News
Modelling of storage properties of higher level languages
ACM SIGPLAN Notices
Remarks on Testing Probabilistic Processes
Electronic Notes in Theoretical Computer Science (ENTCS)
IEEE Transactions on Computers
IEEE Transactions on Computers
Universal programming languages and processors: a brief survey and new concepts
AFIPS '65 (Fall, part I) Proceedings of the November 30--December 1, 1965, fall joint computer conference, part I
On the formal definition of PL/I
AFIPS '68 (Spring) Proceedings of the April 30--May 2, 1968, spring joint computer conference
The formal description of programming languages
IBM Systems Journal
On proving correctness of microprograms
IBM Journal of Research and Development
History of IBM's technical contributions to high level programming languages
IBM Journal of Research and Development
Formal semantics of programming languages: VDL
IBM Journal of Research and Development
Journal of Computer and System Sciences
Towards a theory of semantics and compilers for programming languages
Journal of Computer and System Sciences
Subrecursive programming languages II on program size
Journal of Computer and System Sciences
Nonexistence of program optimizers in several abstract settings
Journal of Computer and System Sciences
Survey: A survey of state vectors
Computer Science Review
| Hi-index | 0.04 |