Stephen Murrell

According to our database, Stephen Murrell authored at least 7 papers between 1988 and 2005.

Collaborative distances:

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

2005

A natural language help system shell through functional programming.

Robert Plant, Stephen Murrell

Knowl. Based Syst., 2005

1997

A survey of tools for the validation and verification of knowledge-based systems: 1985-1995.

Stephen Murrell, Robert T. Plant

Decis. Support Syst., 1997

1996

On the validation and verification of production systems: a graph reduction approach.

Stephen Murrell, Robert Plant

Int. J. Hum. Comput. Stud., 1996

1995

Decision Tables: Formalisation, Validation and Verification.

Stephen Murrell, Robert Plant

Softw. Test. Verification Reliab., 1995

Graph reduction implementation of a production system.

Stephen Murrell, Robert Plant

Knowl. Based Syst., 1995

Formal semantics for rule-based systems.

Stephen Murrell, Robert Plant

J. Syst. Softw., 1995

1988

State transition specifications of abstract machines.

Stephen Murrell

PhD thesis, 1988