Travelled to:2 × USA
Collaborated with:P.V.Homeier S.A.Vere
Talks about:transduct (1) transduc (1) procedur (1) syntax (1) recurs (1) mutual (1) mechan (1) direct (1) verif (1) tree (1)
Person: David F. Martin
DBLP: Martin:David_F=
Contributed to:
1996
1970Wrote 2 papers:
- CADE-1996-HomeierM #recursion #verification
- Mechanical Verification of Mutually Recursive Procedures (PVH, DFM), pp. 201–215.
- STOC-1970-MartinV #on the #transducer
- On Syntax-Directed Transduction and Tree Transducers (DFM, SAV), pp. 129–135.