MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Automatic Verification of Database Transaction Safety." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Type-Safe Linguistic Reflection: A Generator Technology
by D. Stemple, R. B. Stanton, T. Sheard, P. Philbrow, R. Morrison, G. N. C. Kilby, L. Fegaras, R. L. Cooper, R. C. H. Connor, M. P. Atkinson, S. Alagic, G. N. C. "browsing — 1992
…, T. & Stemple, D. "Automatic Verification of Database Transaction Safety". ACM Transactions…
Cited by 15 (7 self) – Add To MetaCart

Mechanisms for Controlling Evolutions in Persistent Object Systems
by R. Morrison, R.C.H. Connor, Q.I. Cuiis, G. Kirby, D. Stemple, Mdc Morrison, Mh Mccune, Mi Milner R, Mor Morrison R, Str Strachey C — 1993
…, Oxford (1967). [SS89] Sheard, T. & Stemple, D. "Automatic Verification of Database Transaction Safety…
Cited by 7 (5 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB