Travelled to:
1 × USA
Collaborated with:
L.Zhao J.Qian G.Cai
Talks about:
semant (2) constraint (1) abstract (1) pattern (1) correct (1) prolog (1) decor (1) tree (1) call (1) base (1)
Person: Tianlong Gu
DBLP: Gu:Tianlong
Contributed to:
Wrote 1 papers:
- SEKE-2006-ZhaoGQC #abstraction #constraints #prolog #semantics
- A Constraint-based Correct Call Pattern Semantics for Prolog as an Abstraction of Decorated Tree Semantics (LZ, TG, JQ, GC), pp. 359–362.