Michael R. Levy

12 papers B 1C 1Journal 8Unranked 2
YearRankTypeTitle / Venue / Authors
2002 C conf
Expeditious XML Processing.
IDEAL
Kelvin Yeow, R. Nigel Horspool, Michael R. Levy
1995 — conf
Proposal for a Foreign Language Interface to Prolog.
LPE
Michael R. Levy
1993 J jnl
Translator-based multiparadigm programming.
J. Syst. Softw.
R. Nigel Horspool, Michael R. Levy
1992 J jnl
Compositional Operational Semantics for Prolog Programs.
New Gener. Comput.
Mantis H. M. Cheng, R. Nigel Horspool, Michael R. Levy, M. H. van Emden
1988 B conf
Type Checking in the Large.
CC
Michael R. Levy
1987 J jnl
Correctness of an Extended Operator-Precedence Parsing Algorithm.
Inf. Process. Lett.
R. Nigel Horspool, Michael R. Levy
1984 — conf
Type checking, separate compilation and reusability.
SIGPLAN Symposium on Compiler Construction
Michael R. Levy
1982 J jnl
Continuous Data Types.
SIAM J. Comput.
Michael R. Levy, T. S. E. Maibaum
1982 J jnl
Modularity and the Sequential File Update Problem.
Commun. ACM
Michael R. Levy
1977 J jnl
Some remarks on abstract data types.
ACM SIGPLAN Notices
Michael R. Levy
1976 J jnl
An Extended Operator Precedence Parsing Algorithm.
Comput. J.
D. S. Henderson, Michael R. Levy
1975 J jnl
Complete Operator Precedence.
Inf. Process. Lett.
Michael R. Levy