Travelled to:
1 × Denmark
1 × France
1 × The Netherlands
Collaborated with:
X.Shi ∅ C.S.He H.Zeng
Talks about:
base (3) techniqu (1) homotopi (1) function (1) determin (1) resolut (1) languag (1) continu (1) toward (1) system (1)
Person: F. Liu
DBLP: Liu:F=
Contributed to:
Wrote 3 papers:
- DATE-2011-LiuS #continuation #optimisation #performance
- An efficient mask optimization method based on homotopy continuation technique (FL, XS), pp. 1053–1058.
- FPCA-1993-Liu #evaluation #functional #lazy evaluation #logic #nondeterminism #towards
- Towards Lazy Evaluation, Sharing and Non-determinism in Resolution Based Functional Logic Languages (FL), pp. 201–209.
- IWPTS-1991-HeZL #design
- A Bench Mark on the Design of Ferry Based Test Systems (CSH, HXZ, FL), pp. 119–130.