Jonathan C. Martin

According to our database, Jonathan C. Martin authored at least 6 papers between 1996 and 2006.

Collaborative distances:

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

2006

Control Generation by Program Transformation.

Andy King, Jonathan C. Martin

Fundam. Informaticae, 2006

2004

On the Inference of Natural Level Mappings.

Jonathan C. Martin, Andy King

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

2000

Judgement day : terminating logic programs.

Jonathan Charles Martin

PhD thesis, 2000

1999

Sonic Partial Deduction.

Jonathan C. Martin, Michael Leuschel

Proceedings of the Perspectives of System Informatics, 1999

1997

Generating Efficient, Terminating Logic Programs.

Jonathan C. Martin, Andy King

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Typed Norms for Typed Logic Programs.

Jonathan C. Martin, Andy King, Paul Soper

Proceedings of the Logic Programming Synthesis and Transformation, 1996