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
Collaborated with:
S.Itzhaky Rohit Singh 0002 A.Solar-Lezama K.Yessenov C.E.Leiserson R.A.Chowdhury
Talks about:
transform (1) algorithm (1) program (1) conquer (1) solver (1) dynam (1) divid (1) deriv (1) use (1) aid (1)

Person: Yongquan Lu

DBLP DBLP: Lu:Yongquan

Contributed to:

OOPSLA 20162016

Wrote 1 papers:

OOPSLA-2016-Itzhaky0SYLLC #algorithm #divide and conquer #programming #using
Deriving divide-and-conquer dynamic programming algorithms using solver-aided transformations (SI, RS0, ASL, KY, YL, CEL, RAC), pp. 145–164.
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.