BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
qvt (2)
transform (1)
theoret (1)
when (1)
relat (1)

Stem checkon$ (all stems)

2 papers:

FASEFASE-2012-BradfieldS #calculus #qvt #recursion #μ-calculus
Recursive Checkonly QVT-R Transformations with General when and where Clauses via the Modal μ Calculus (JCB, PS), pp. 194–208.
ICMTICMT-2009-Stevens #approach #game studies #qvt
A Simple Game-Theoretic Approach to Checkonly QVT Relations (PS), pp. 165–180.

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.