Michael R. Levy

Publication Activity (10 Years)

Years Active: 1975-2002
Publications (10 Years): 0

Publications

Kelvin Yeow, R. Nigel Horspool, Michael R. Levy
Expeditious XML Processing. IDEAL (2002)
Michael R. Levy
Proposal for a Foreign Language Interface to Prolog. LPE (1995)
R. Nigel Horspool, Michael R. Levy
Translator-based multiparadigm programming. J. Syst. Softw. 23 (1) (1993)
Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden
Compositional Operational Semantics for Prolog Programs. New Gener. Comput. 10 (3) (1992)
Michael R. Levy
Type Checking in the Large. CC (1988)
R. Nigel Horspool, Michael R. Levy
- A Interactive Scanner Generator. Softw. Pract. Exp. 17 (6) (1987)
R. Nigel Horspool, Michael R. Levy
Correctness of an Extended Operator-Precedence Parsing Algorithm. Inf. Process. Lett. 24 (4) (1987)
Michael R. Levy
Type checking, separate compilation and reusability. SIGPLAN Symposium on Compiler Construction (1984)
Michael R. Levy, T. S. E. Maibaum
Continuous Data Types. SIAM J. Comput. 11 (2) (1982)
Michael R. Levy
Modularity and the Sequential File Update Problem. Commun. ACM 25 (6) (1982)
Michael R. Levy
Some remarks on abstract data types. ACM SIGPLAN Notices 12 (7) (1977)
D. S. Henderson, Michael R. Levy
An Extended Operator Precedence Parsing Algorithm. Comput. J. 19 (3) (1976)
Michael R. Levy
Complete Operator Precedence. Inf. Process. Lett. 4 (2) (1975)