dblp.uni-trier.dewww.uni-trier.de

Michael R. Levy

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2002
12EEKelvin 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
10EER. 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
5EEMichael 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)

Coauthor Index

1Mantis H. M. Cheng [9]
2D. S. Henderson [2]
3R. Nigel Horspool [6] [7] [9] [10] [12]
4T. S. E. Maibaum (Thomas Stephen Edward Maibaum) [3]
5Kelvin Yeow [12]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)