Michael R. Levy

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2002
c4		Kelvin Yeow, R. Nigel Horspool, Michael R. Levy: Expeditious XML Processing. IDEAL 2002: 148-153
	1995
c3		Michael R. Levy: Proposal for a Foreign Language Interface to Prolog. LPE 1995: 0-
	1993
j8		R. Nigel Horspool, Michael R. Levy: Translator-based multiparadigm programming. Journal of Systems and Software 23(1): 39-49 (1993)
	1992
j7		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
c2		Michael R. Levy: Type Checking in the Large. CC 1988: 137-145
	1987
j6		R. Nigel Horspool, Michael R. Levy: Correctness of an Extended Operator-Precedence Parsing Algorithm. Inf. Process. Lett. 24(4): 265-273 (1987)
j5		R. Nigel Horspool, Michael R. Levy: Mkscan - A Interactive Scanner Generator. Softw., Pract. Exper. 17(6): 369-378 (1987)
	1984
c1		Michael R. Levy: Type checking, separate compilation and reusability. SIGPLAN Symposium on Compiler Construction 1984: 285-289
	1982
j4		Michael R. Levy: Modularity and the Sequential File Update Problem. Commun. ACM 25(6): 362-367 (1982)
j3		Michael R. Levy, T. S. E. Maibaum: Continuous Data Types. SIAM J. Comput. 11(2): 201-216 (1982)
	1976
j2		D. S. Henderson, Michael R. Levy: An Extended Operator Precedence Parsing Algorithm. Comput. J. 19(3): 229-233 (1976)
	1975
j1		Michael R. Levy: Complete Operator Precedence. Inf. Process. Lett. 4(2): 38-40 (1975)

Coauthor Index

1	Mantis H. M. Cheng	[j7]
2	D. S. Henderson	[j2]
3	R. Nigel Horspool	[c4] [j8] [j7] [j6] [j5]
4	T. S. E. Maibaum (Thomas Stephen Edward Maibaum)	[j3]
5	Kelvin Yeow	[c4]

Last update Thu May 23 11:09:54 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page