BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
4 × USA
Collaborated with:
Y.Gurevich C.H.Papadimitriou J.H.Reif A.K.Chandra J.A.Makowsky
Talks about:
problem (3) depend (2) infer (2) nonintersect (1) schemata (1) templat (1) symmetr (1) program (1) equival (1) concret (1)

Person: Harry R. Lewis

DBLP DBLP: Lewis:Harry_R=

Facilitated 1 volumes:

STOC 1982Ed

Contributed to:

LICS 19901990
PODS 19821982
STOC 19811981
ICALP 19801980
POPL 19771977

Wrote 6 papers:

LICS-1990-Lewis #logic
A Logic of Concrete Time Intervals (HRL), pp. 380–389.
PODS-1982-GurevichL #dependence #problem
The Inference Problem for Template Dependencies (YG, HRL), pp. 221–229.
STOC-1981-ChandraLM #dependence #embedded #problem
Embedded Implicational Dependencies and their Inference Problem (AKC, HRL, JAM), pp. 342–354.
ICALP-1980-LewisP #bound #symmetry
Symmetric Space-Bounded Computation (HRL, CHP), pp. 374–384.
POPL-1977-Lewis #equivalence #problem
The Equivalence Problem for Program Schemata with Nonintersecting Loops (HRL), pp. 253–266.
POPL-1977-ReifL #evaluation #graph #symbolic computation
Symbolic Evaluation and the Global Value Graph (JHR, HRL), pp. 104–118.

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.