swMATH ID: 2057
Software Authors: Hemel, Zef; Groenewegen, Danny M.; Kats, Lennart C.L.; Visser, Eelco
Description: Static consistency checking of web applications with WebDSL
Homepage: http://webdsl.org/home
Keywords: domain-specific language; web application development; linguistic integration; consistency checking; verification; static analysis
Related Software: Links; Spoofax; Ruby; ScalaQL; Jwig; Stratego
Referenced in: 1 Publication
Further Publications: http://webdsl.org/page/Publications

Referenced in 1 Serial

1 Journal of Symbolic Computation

Referenced in 1 Field

1 Computer science (68-XX)

Referencing Publications by Year