Static consistency checking of web applications with WebDSL

DOI10.1016/J.JSC.2010.08.006MaRDI QIDQ617983zbMATH OpenOpenAlexWikidataFDO

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

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)

Recommendations

• Formalizing and testing the consistency of DSL transformations
• scientific article; zbMATH DE number 1926608
• Abstract domains for type juggling
• Research on the dynamic reconfiguration of Web application using two-phase compatibility verification
• Consistency of the static and dynamic components of object-oriented specifications

Cites work

• scientific article; zbMATH DE number 1216248 (Why is no real title available?)
• scientific article; zbMATH DE number 2013415 (Why is no real title available?)
• A type system for dynamic web documents
• Building program optimizers with rewriting strategies
• Practical aspects of declarative languages. 4th international symposium, PADL 2002, Portland, OR, USA, January 19--20, 2002. Proceedings.
• Program transformation with scoped dynamic rewrite rules

Cited in

(2)

• WebDSL
• Checking content consistency of integrated web documents

Describes a project that uses

Uses Software

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

This page was built for publication: Static consistency checking of web applications with WebDSL

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q617983)