Travelled to:1 × France
3 × USA
Collaborated with:C.M.Hoffmann ∅ H.Boehm R.Cartwright M.Riggle
Talks about:interpret (2) implement (2) program (2) equat (2) arithmet (1) abstract (1) pattern (1) generat (1) rewrit (1) higher (1)
Person: Michael J. O'Donnell
DBLP: O'Donnell:Michael_J=
Contributed to:
1987
1986
19841979Wrote 4 papers:
- RTA-1987-ODonnell #equation #implementation #logic programming
- Term-Rewriting Implementation of Equational Logic Programming (MJO), pp. 1–12.
- LFP-1986-BoehmCRO #case study #higher-order #programming
- Exact Real Arithmetic: A Case Study in Higher Order Programming (HJB, RC, MR, MJO), pp. 162–173.
- POPL-1984-HoffmannO #equation #implementation #interpreter
- Implementation of an Interpreter for Abstract Equations (CMH, MJO), pp. 111–121.
- POPL-1979-HoffmanO #generative #interpreter #pattern matching #using
- Interpreter Generation Using Tree Pattern Matching (CMH, MJO), pp. 169–179.