BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Estonia
1 × United Kingdom
Collaborated with:
R.Meyer A.Bouajjani E.Derevenetc Z.Long R.Majumdar
Talks about:
reachabl (1) abstract (1) theoret (1) languag (1) refin (1) lazi (1) tso (1)

Person: Georgel Calin

DBLP DBLP: Calin:Georgel

Contributed to:

FASE 20152015
FASE 20122012

Wrote 2 papers:

FASE-2015-BouajjaniCDM #lazy evaluation #reachability
Lazy TSO Reachability (AB, GC, ED, RM), pp. 267–282.
FASE-2012-LongCMM #abstraction #refinement
Language-Theoretic Abstraction Refinement (ZL, GC, RM, RM), pp. 362–376.

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.