2002 |
12 | EE | Kelvin Yeow,
R. Nigel Horspool,
Michael R. Levy:
Expeditious XML Processing.
IDEAL 2002: 148-153 |
1995 |
11 | | Michael R. Levy:
Proposal for a Foreign Language Interface to Prolog.
LPE 1995: 0- |
1993 |
10 | EE | R. Nigel Horspool,
Michael R. Levy:
Translator-based multiparadigm programming.
Journal of Systems and Software 23(1): 39-49 (1993) |
1992 |
9 | | Mantis H. M. Cheng,
R. Nigel Horspool,
Michael R. Levy:
Compositional Operational Semantics for Prolog Programs.
New Generation Comput. 10(3): 315-334 (1992) |
1988 |
8 | | Michael R. Levy:
Type Checking in the Large.
CC 1988: 137-145 |
1987 |
7 | | R. Nigel Horspool,
Michael R. Levy:
Correctness of an Extended Operator-Precedence Parsing Algorithm.
Inf. Process. Lett. 24(4): 265-273 (1987) |
6 | | R. Nigel Horspool,
Michael R. Levy:
Mkscan - A Interactive Scanner Generator.
Softw., Pract. Exper. 17(6): 369-378 (1987) |
1984 |
5 | EE | Michael R. Levy:
Type checking, separate compilation and reusability.
SIGPLAN Symposium on Compiler Construction 1984: 285-289 |
1982 |
4 | | Michael R. Levy:
Modularity and the Sequential File Update Problem.
Commun. ACM 25(6): 362-367 (1982) |
3 | | Michael R. Levy,
T. S. E. Maibaum:
Continuous Data Types.
SIAM J. Comput. 11(2): 201-216 (1982) |
1976 |
2 | | D. S. Henderson,
Michael R. Levy:
An Extended Operator Precedence Parsing Algorithm.
Comput. J. 19(3): 229-233 (1976) |
1975 |
1 | | Michael R. Levy:
Complete Operator Precedence.
Inf. Process. Lett. 4(2): 38-40 (1975) |