J. M. Foster

Publication Activity (10 Years)

Years Active: 1965-1987
Publications (10 Years): 0

Publications

Ian F. Currie, J. M. Foster, P. W. Core
Ten15: An Abstract Machine for Portable Environments. ESEC (1987)
J. M. Foster, Ian F. Currie
Remote Capabilities. Comput. J. 30 (5) (1987)
J. M. Foster
Formally based static analysis of microcode. MICRO (1986)
J. M. Foster
Validating Microcode Algebraically. Comput. J. 29 (5) (1986)
J. M. Foster, P. D. Foster
Abstract data and functors. Strathclyde ALGOL 68 Conference (1977)
J. M. Foster
A syntax improving program. Comput. J. 11 (1) (1968)
J. M. Foster
Book Review: Mathematical theory of automata, edited by Jerome Fox, 1964; 640 pages. Comput. J. 8 (1) (1965)