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 × Portugal
1 × USA
Collaborated with:
R.Booth T.A.Meyer
Talks about:
program (2) logic (2) day (2) stronger (1) preorder (1) equival (1) notion (1) better (1) total (1) revis (1)

Person: Ka-Shu Wong

DBLP DBLP: Wong:Ka=Shu

Contributed to:

ICLP 20072007
ICLP 20062006
KR 20062006

Wrote 3 papers:

ICLP-2007-Wong #equivalence #logic programming #source code
A Stronger Notion of Equivalence for Logic Programs (KSW), pp. 453–454.
ICLP-2006-Wong #logic programming #source code
Deducing Logic Programs (KSW), pp. 471–472.
KR-2006-BoothMW #how
A Bad Day Surfing Is Better than a Good Day Working: How to Revise a Total Preorder (RB, TAM, KSW), pp. 230–238.

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.