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 × United Kingdom
5 × USA
Collaborated with:
∅ D.A.Smith S.K.Debray
Talks about:
constraint (4) clp (4) partial (2) languag (2) interv (2) evalu (2) solv (2) metalevel (1) arithmet (1) abstract (1)

Person: Timothy J. Hickey

DBLP DBLP: Hickey:Timothy_J=

Contributed to:

CL 20002000
PADL 20002000
POPL 20002000
PEPM 19911991
NACLP 19901990
POPL 19891989

Wrote 6 papers:

CL-2000-DebrayH #analysis #constraints #database #termination
Constraint-Based Termination Analysis for Cyclic Active Database Rules (SKD, TJH), pp. 1121–1136.
PADL-2000-Hickey #constraints #named #theorem proving
CLIP: A CLP(Intervals) Dialect for Metalevel Constraint Solving (TJH), pp. 200–214.
POPL-2000-Hickey #constraints #theorem proving
Analytic Constraint Solving and Interval Arithmetic (TJH), pp. 338–351.
PEPM-1991-HickeyS #partial evaluation #towards
Toward the Partial Evaluation of CLP Languages (TJH, DAS), pp. 43–51.
NACLP-1990-SmithH #partial evaluation
Partial Evaluation of a CLP Language (DAS, TJH), pp. 119–138.
POPL-1989-Hickey #abstraction #constraints
CLP* and Constraint Abstraction (TJH), pp. 125–133.
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.