Static consistency checking of web applications with WebDSL

DOI10.1016/j.jsc.2010.08.006zbMath1215.68053OpenAlexW2137196294WikidataQ59780405 ScholiaQ59780405MaRDI QIDQ617983

Danny M. Groenewegen, Eelco Visser, Lennart C. L. Kats, Zef Hemel

Publication date: 14 January 2011

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: http://resolver.tudelft.nl/uuid:588b78a1-f8d8-45fc-855f-fd03699725cf

zbMATH Keywords

verificationstatic analysisconsistency checkingdomain-specific languagelinguistic integrationweb application development

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

WebDSL

Uses Software

• Stratego
• Jwig
• ScalaQL
• Ruby
• Spoofax
• Links

Cites Work

• Practical aspects of declarative languages. 4th international symposium, PADL 2002, Portland, OR, USA, January 19--20, 2002. Proceedings.
• A type system for dynamic Web documents
• Building program optimizers with rewriting strategies
• Unnamed Item
• Unnamed Item
• Unnamed Item