Zef Hemel, Danny M. Groenewegen, Lennart C. L. Kats, Eelco Visser. Static consistency checking of web applications with WebDSL. Journal of Symbolic Computation, 46(2):150-182, 2011. [doi]
@article{HemelGKV11,
title = {Static consistency checking of web applications with {WebDSL}},
author = {Zef Hemel and Danny M. Groenewegen and Lennart C. L. Kats and Eelco Visser},
year = {2011},
doi = {10.1016/j.jsc.2010.08.006},
url = {https://doi.org/10.1016/j.jsc.2010.08.006},
tags = {model-to-model transformation, WebDSL, rule-based, application framework, model checking, XML, XML Schema, transformation language, points-to analysis, domain analysis, analysis, language design, static analysis, model-driven development, source-to-source, rules, C++, compiler, model transformation, web applications, consistency, abstraction, design, systematic-approach, open-source, transformation, Ruby on Rails, Stratego, Ruby, query language, domain-specific language},
researchr = {https://researchr.org/publication/HemelGKV11},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {46},
number = {2},
pages = {150-182},
}