Jonathan C. Martin

Publication Activity (10 Years)

Years Active: 1996-2006
Publications (10 Years): 0

Publications

Andy King, Jonathan C. Martin
Control Generation by Program Transformation. Fundam. Informaticae 69 (1-2) (2006)
Jonathan C. Martin, Michael Leuschel
Sonic Partial Deduction. Ershov Memorial Conference (1999)
Jonathan C. Martin, Andy King
Generating Efficient, Terminating Logic Programs. TAPSOFT (1997)
Jonathan C. Martin, Andy King, Paul Soper
Typed Norms for Typed Logic Programs. LOPSTR (1996)