Shirley Goldrei

Publication Activity (10 Years)

Years Active: 2004-2009
Publications (10 Years): 0

Publications

Alan D. Fekete, Shirley Goldrei, Jorge Perez Asenjo
Quantifying Isolation Anomalies. Proc. VLDB Endow. 2 (1) (2009)
Leonard G. C. Hamey, Shirley Goldrei
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper. Electron. Notes Theor. Comput. Sci. 203 (2) (2008)
Shirley Goldrei, Anthony M. Sloane
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties. Electron. Notes Theor. Comput. Sci. 110 (2004)