Travelled to:1 × Israel
1 × Japan
Collaborated with:M.H.v.Emden D.S.P.Jr. B.E.Richards
Talks about:program (2) method (2) logic (2) implement (1) function (1) warren (1) theori (1) equat (1)
Person: Mantis H. M. Cheng
DBLP: Cheng:Mantis_H=_M=
Contributed to:
19951990Wrote 2 papers:
- ICLP-1995-ChengPE #equation #implementation #logic programming #source code
- A Method for Implementing Equational Theories as Logic Programs (MHMC, DSPJ, MHvE), pp. 497–511.
- CLP-1990-ChengER90 #functional #logic #on the #programming
- On Warren’s Method for Functional Programming in Logic (MHMC, MHvE, BER), pp. 546–560.