Robert W. Floyd

35 papers A* 5Journal 26Unranked 2
YearRankTypeTitle / Venue / Authors
1996 — book
Die Sprache der Maschinen.
Robert W. Floyd, Richard Beigel
1993 — ch.
Assigning Meanings to Programs.
Program Verification
Robert W. Floyd
1990 J jnl
Addition Machines.
SIAM J. Comput.
Robert W. Floyd, Donald E. Knuth
1982 J jnl
The Compilation of Regular Expressions into Integrated Circuits.
J. ACM
Robert W. Floyd, Jeffrey D. Ullman
1980 A* conf
The Compilation of Regular Expressions into Integrated Circuits (Extended Abstract)
FOCS
Robert W. Floyd, Jeffrey D. Ullman
1979 J jnl
The Paradigms of Programming.
Commun. ACM
Robert W. Floyd
1975 J jnl
Expected Time Bounds for Selection.
Commun. ACM
Robert W. Floyd, Ronald L. Rivest
1975 J jnl
The Algorithm SELECT - for Finding the ith Smallest of n Elements [M1] (Algorithm 489).
Commun. ACM
Robert W. Floyd, Ronald L. Rivest
1975 A* conf
The Exact Time Required to Perform Generalized Addition
FOCS
Robert W. Floyd
1973 J jnl
A Linear Time Two Tape Merge.
Inf. Process. Lett.
Robert W. Floyd, Alan Jay Smith
1973 A* ed.
Proceedings of the 5th Annual ACM Symposium on Theory of Computing, April 30 - May 2, 1973, Austin, Texas, USA
STOC
Alfred V. Aho, Allan Borodin, Robert L. Constable, Robert W. Floyd, Michael A. Harrison, Richard M. Karp, H. Raymond Strong
1973 J jnl
Time Bounds for Selection.
J. Comput. Syst. Sci.
Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
1972 J jnl
An Interpretation-Oriented Theorem Prover over Integers.
J. Comput. Syst. Sci.
James C. King, Robert W. Floyd
1972 J jnl
Errata: Notes on Avoiding "go to" Statements.
Inf. Process. Lett.
Donald E. Knuth, Robert W. Floyd
1972 A* conf
Linear Time Bounds for Median Computations
STOC
Manuel Blum, Robert W. Floyd, Vaughan R. Pratt, Ronald L. Rivest, Robert Endre Tarjan
1972 — conf
Permuting Information in Idealized Two-Level Storage.
Complexity of Computer Computations
Robert W. Floyd
1971 J jnl
Notes on Avoiding "go to" Statements.
Inf. Process. Lett.
Donald E. Knuth, Robert W. Floyd
1971 — conf
Toward Interactive Design of Correct Programs.
IFIP Congress (1)
Robert W. Floyd
1970 A* conf
An Interpretation Oriented Theorem Prover over Integers
STOC
James C. King, Robert W. Floyd
1969 J jnl
A machine-oriented recognition algorithm for context-free languages.
ACM SIGPLAN Notices
Robert W. Floyd
1967 J jnl
Nondeterministic Algorithms.
J. ACM
Robert W. Floyd
1964 J jnl
Algorithm 245: Treesort.
Commun. ACM
Robert W. Floyd
1964 J jnl
Bounded context syntactic analysis.
Commun. ACM
Robert W. Floyd
1964 J jnl
The Syntax of Programming Languages-A Survey.
IEEE Trans. Electron. Comput.
Robert W. Floyd
1963 J jnl
Syntactic Analysis and Operator Precedence.
J. ACM
Robert W. Floyd
1962 J jnl
Algorithm 113: Treesort.
Commun. ACM
Robert W. Floyd
1962 J jnl
Algorithm 96: Ancestor.
Commun. ACM
Robert W. Floyd
1962 J jnl
Algorithm 97: Shortest path.
Commun. ACM
Robert W. Floyd
1962 J jnl
On ambiguity in phrase structure languages.
Commun. ACM
Robert W. Floyd
1962 J jnl
On the nonexistence of a phrase structure grammar for ALGOL 60.
Commun. ACM
Robert W. Floyd
1961 J jnl
A Descriptive Language for Symbol Manipulation.
J. ACM
Robert W. Floyd
1961 J jnl
A Note on Mathematical Induction on Phrase Structure Grammars
Inf. Control.
Robert W. Floyd
1961 J jnl
An algorithm for coding efficient arithmetic operations.
Commun. ACM
Robert W. Floyd
1960 J jnl
An Algorithm Defining ALGOL Assignment Statements.
Commun. ACM
Robert W. Floyd
1960 J jnl
Note of amplification.
Commun. ACM
Robert W. Floyd