Dan Simpson

According to our database, Dan Simpson authored at least 6 papers between 1984 and 1996.

Collaborative distances:

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

1996

Slicing Programs in the Presence of Errors.

Mark Harman, Dan Simpson, Sebastian Danicic

Formal Aspects Comput., 1996

1990

The ZIP Project.

Brian Hepworth, Dan Simpson

Proceedings of the Z User Workshop, 1990

1989

Life cycles in software and knowledge engineering: a comparative review.

Michael D. Wilson, David A. Duce, Dan Simpson

Knowl. Eng. Rev., 1989

Limits to Computation: The Naive's Guide to Most of Computing Science!

Dan Simpson

AI Soc., 1989

1986

Communicating Parallel Processes.

Jon M. Kerridge, Dan Simpson

Softw. Pract. Exp., 1986

1984

Three Solutions for a Robot Arm Controller Using Pascal-Plus, occam and Edison.

Jon M. Kerridge, Dan Simpson

Softw. Pract. Exp., 1984