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
2 × Canada
4 × USA
Collaborated with:
∅ L.Libkin R.Hull M.Benedikt L.S.Colby I.S.Mumick H.Trickey
Talks about:
mainten (2) formal (2) view (2) increment (1) implement (1) framework (1) algorithm (1) transact (1) properti (1) interact (1)

Person: Timothy Griffin

DBLP DBLP: Griffin:Timothy

Contributed to:

SIGMOD 19971997
PODS 19961996
SIGMOD 19961996
SIGMOD 19951995
POPL 19901990
CADE 19881988
LICS 19881988

Wrote 7 papers:

SIGMOD-1997-GriffinH #framework #implementation #query
A Framework for Implementing Hypothetical Queries (TG, RH), pp. 231–242.
PODS-1996-BenediktGL #database #transaction
Verifiable Properties of Database Transactions (MB, TG, LL), pp. 117–127.
SIGMOD-1996-ColbyGLMT #algorithm #maintenance
Algorithms for Deferred View Maintenance (LSC, TG, LL, ISM, HT), pp. 469–480.
SIGMOD-1995-GriffinL #incremental #maintenance
Incremental Maintenance of Views with Duplicates (TG, LL), pp. 328–339.
POPL-1990-Griffin #type system
A Formulae-as-Types Notion of Control (TG), pp. 47–58.
CADE-1988-Griffin #interactive #named
EFS — An Interactive Environment for Formal Systems (TG), pp. 740–741.
LICS-1988-Griffin #formal method
Notational definition — a formal account (TG), pp. 372–383.
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.