John Van Tassel

According to our database, John Van Tassel authored at least 5 papers between 1966 and 1993.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

1993

Femto-VHDL : the semantics of a subset of VHDL and its embedding in the HOL proof assistant.

John Van Tassel

PhD thesis, 1993

1992

A Formalisation of the VHDL Simulation Cycle.

John Van Tassel

Proceedings of the Higher Order Logic Theorem Proving and its Applications, 1992

Experience with Embedding Hardware Description Languages in HOL.

Richard J. Boulton, Andrew D. Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel

Proceedings of the Theorem Provers in Circuit Design, 1992

1990

Specifying and Automatically Generating Ada Tasks in Prolog.

John Van Tassel, David Hemmendinger

Proceedings of the ACM 18th Annual Computer Science Conference on Cooperation, 1990

1966

Letter to the Editor - The Distribution of Stock Price Differences: Gaussian After All?

Josef Brada, Harry Ernst, John Van Tassel

Oper. Res., 1966