Travelled to:1 × Germany
1 × The Netherlands
1 × United Kingdom
Collaborated with:∅ B.Jacobs L.A.Dennis G.Collins M.Norrish R.J.Boulton K.Slind G.Robinson M.J.C.Gordon
Talks about:translat (1) function (1) toolkit (1) theorem (1) reflect (1) prosper (1) languag (1) theori (1) integr (1) higher (1)
Person: Thomas F. Melham
DBLP: Melham:Thomas_F=
Contributed to:
2004
2000
1993Wrote 3 papers:
- IFM-2004-Melham #functional #model checking #proving #theorem proving
- Integrating Model Checking and Theorem Proving in a Reflective Functional Language (TFM), pp. 36–39.
- TACAS-2000-DennisCNBSRGM #tool support
- The PROSPER Toolkit (LAD, GC, MN, RJB, KS, GR, MJCG, TFM), pp. 78–92.
- TLCA-1993-JacobsM #dependent type #higher-order #logic #type system
- Translating Dependent Type Theory into Higher Order Logic (BJ, TFM), pp. 209–229.