Kevin J. Greene

According to our database, Kevin J. Greene authored at least 3 papers between 1988 and 1989.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

1989

WINTER: WAMS in Tim Expression Reduction.

Damir Jamsek, Kevin J. Greene, Shiu-Kai Chin, Paul R. Humenn

Proceedings of the Logic Programming, 1989

1988

Using higher order logic and functional languages to synthesize correct hardware.

Shiu-Kai Chin, Edward P. Stabler, Kevin J. Greene

Proceedings of the 1988 Internation Conference on Computer Languages, 1988

Verifiable and executable theories of design for synthesizing correct hardware.

Shiu-Kai Chin, Kevin J. Greene

Proceedings of the Computer Design: VLSI in Computers and Processors, 1988