BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Germany
1 × Israel
1 × Japan
1 × Portugal
1 × Sweden
1 × United Kingdom
3 × Italy
4 × USA
Collaborated with:
∅ R.Barták Y.Shen T.Sato A.Dovier C.T.Have L.Yuan J.You T.Takagi K.Ushijima
Talks about:
tabl (9) program (4) prolog (4) linear (4) logic (4) constraint (3) mechan (3) plan (3) implement (2) abstract (2)

Person: Neng-Fa Zhou

DBLP DBLP: Zhou:Neng=Fa

Facilitated 1 volumes:

PADL 2012Ed

Contributed to:

ICLP 20152015
PPDP 20152015
ICLP 20142014
ICLP 20122012
ICLP 20092009
ICLP 20072007
PPDP 20042004
PPDP 20032003
DocEng 20012001
PADL 20002000
ICLP 19991999
JICSLP 19981998
JICSLP 19961996
ICLP 19951995
ICLP 19941994
ILPS 19931993
ICLP 19901990

Wrote 17 papers:

ICLP-J-2015-ZhouBD #logic programming
Planning as tabled logic programming (NFZ, RB, AD), pp. 543–558.
PPDP-2015-BartakDZ #logic programming #modelling #on the #problem
On modeling planning problems in tabled logic programming (RB, AD, NFZ), pp. 31–42.
ICLP-J-2014-BartakZ #logic programming #problem #using
Using Tabled Logic Programming to Solve the Petrobras Planning Problem (RB, NFZ), pp. 697–710.
ICLP-J-2012-ZhouH #performance
Efficient tabling of structured data with enhanced hash-consing (NFZ, CTH), pp. 547–563.
ICLP-2009-Zhou #constraints #encoding
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC (NFZ), pp. 402–416.
ICLP-2007-Zhou #prolog
A Register-Free Abstract Prolog Machine with Jumbo Instructions (NFZ), pp. 455–457.
PPDP-2004-ZhouSS #evaluation #linear
Semi-naive evaluation in linear tabling (NFZ, YDS, TS), pp. 90–97.
PPDP-2003-ZhouS #fixpoint #linear #performance
Efficient fixpoint computation in linear tabling (NFZ, TS), pp. 275–283.
DocEng-2001-Zhou #authoring #constraints #documentation #interactive #library
Authoring graphics-rich and interactive documents in CGLIB: a constraint-based graphics library (NFZ), pp. 28–37.
PADL-2000-ZhouSYY #implementation #linear
Implementation of a Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), pp. 109–123.
ICLP-1999-ZhouSYY #linear
A Linear Tabling Mechanism (NFZ, YDS, LYY, JHY), p. 618.
JICSLP-1998-Zhou #algorithm #compilation #constraints
A High-Level Intermediate Language and the Algorithms for Compiling Finite-Domain Constraints (NFZ), pp. 70–84.
JICSLP-1996-Zhou #implementation #novel
A Novel Implementation Method of Delay (NFZ), pp. 97–111.
ICLP-1995-Zhou #approach #logic programming
A Logic Programming Approach to Channel Routing (NFZ), pp. 217–231.
ICLP-1994-Zhou #on the #prolog #stack
On the Scheme of Passing Arguments in Stack Frames for Prolog (NFZ), pp. 159–174.
ILPS-1993-Zhou #compilation #on the #parametricity #prolog
On the Direct Parameter Passing Mechanism for Prolog Compilers (NFZ), p. 655.
CLP-1990-ZhouTU90 #automaton #prolog
A Matching Tree Oriented Abstract Machine for Prolog (NFZ, TT, KU), pp. 159–173.
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.