BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Collaborated with:
L.G.C.Hamey A.M.Sloane A.Fekete J.P.Asenjo
Talks about:
use (2) implement (1) stratego (1) quantifi (1) properti (1) attribut (1) languag (1) grammar (1) anomali (1) verifi (1)

Person: Shirley Goldrei

DBLP DBLP: Goldrei:Shirley

Contributed to:

VLDB 20092009
LDTA 20072008
LDTA 20042004

Wrote 3 papers:

Quantifying Isolation Anomalies (AF, SG, JPA), pp. 467–478.
LDTA-2007-HameyG08 #domain-specific language #experience #implementation #stratego #using
Implementing a Domain-Specific Language Using Stratego/XT: An Experience Paper (LGCH, SG), pp. 37–51.
LDTA-2004-GoldreiS #attribute grammar #formal method #off the shelf #using #verification
Using Off-the-Shelf Formal Methods to Verify Attribute Grammar Properties (SG, AMS), pp. 33–54.

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.