John Van Tassel

Publication Activity (10 Years)

Years Active: 1966-1992
Publications (10 Years): 0

University of Cambridge, UK (PHD)

Education History

University of Cambridge, UK

PHD

Publications

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel
Experience with Embedding Hardware Description Languages in HOL. TPCD (1992)
John Van Tassel
A Formalisation of the VHDL Simulation Cycle. TPHOLs (1992)
John Van Tassel, David Hemmendinger
Specifying and Automatically Generating Ada Tasks in Prolog. ACM Conference on Computer Science (1990)
Josef Brada, Harry Ernst, John Van Tassel
Letter to the Editor - The Distribution of Stock Price Differences: Gaussian After All? Oper. Res. 14 (2) (1966)