BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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


Contributed to:

DATE 20112011
FPCA 19931993
IWPTS 19911991

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.