Michael R. Levy

According to our database, Michael R. Levy authored at least 13 papers between 1975 and 2002.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2002

Expeditious XML Processing.

Kelvin Yeow, R. Nigel Horspool, Michael R. Levy

Proceedings of the Intelligent Data Engineering and Automated Learning, 2002

1995

Proposal for a Foreign Language Interface to Prolog.

Michael R. Levy

Proceedings of the 7th Workshop on Logic Programming Environments, 1995

1993

Translator-based multiparadigm programming.

R. Nigel Horspool, Michael R. Levy

J. Syst. Softw., 1993

1992

Compositional Operational Semantics for Prolog Programs.

Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden

New Gener. Comput., 1992

1988

Type Checking in the Large.

Michael R. Levy

Proceedings of the Compiler Compilers and High Speed Compilation, 1988

1987

<i> Mkscan </i> - A Interactive Scanner Generator.

R. Nigel Horspool, Michael R. Levy

Softw. Pract. Exp., 1987

Correctness of an Extended Operator-Precedence Parsing Algorithm.

R. Nigel Horspool, Michael R. Levy

Inf. Process. Lett., 1987

1984

Type checking, separate compilation and reusability.

Michael R. Levy

Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, 1984

1982

Continuous Data Types.

Michael R. Levy, T. S. E. Maibaum

SIAM J. Comput., 1982

Modularity and the Sequential File Update Problem.

Michael R. Levy

Commun. ACM, 1982

1977

Some remarks on abstract data types.

Michael R. Levy

ACM SIGPLAN Notices, 1977

1976

An Extended Operator Precedence Parsing Algorithm.

D. S. Henderson, Michael R. Levy

Comput. J., 1976

1975

Complete Operator Precedence.

Michael R. Levy

Inf. Process. Lett., 1975