Travelled to:
1 × USA
Collaborated with:
∅
Talks about:
synthes (1) program (1) predic (1) effici (1) logic (1) deriv (1) new (1)
Person: Tadashi Kawamura
DBLP: Kawamura:Tadashi
Contributed to:
Wrote 1 papers:
- ISLP-1991-Kawamura #logic programming #performance #source code
- Derivation of Efficient Logic Programs by Synthesizing New Predicates (TK), pp. 611–625.