Mike P. Maloney

According to our database, Mike P. Maloney authored at least 2 papers in 1984.

Collaborative distances:

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

1984

Transforming an Ada Program Unit to Silicon and Verifying Its Behavior in an Ada Environment: A first Experiment.

Elliott I. Organick, Tony M. Carter, Mike P. Maloney, Alan L. Davis, Alan B. Hayes, Dan Klass, Gary Lindstrom, Brent E. Nelson, Kent F. Smith

IEEE Softw., 1984

Transforming an Ada Program Unit to Silicon and Testing It in an Ada Environment.

Tony M. Carter, Alan L. Davis, Alan B. Hayes, Gary Lindstrom, Dan Klass, Mike P. Maloney, Brent E. Nelson, Elliott I. Organick, Kent F. Smith

Proceedings of the COMPCON'84, Digest of Papers, Twenty-Eighth IEEE Computer Society International Conference, San Francisco, California, USA, February 27, 1984