Static consistency checking of web applications with WebDSL

DOI10.1016/J.JSC.2010.08.006zbMATH Open1215.68053OpenAlexW2137196294WikidataQ59780405 ScholiaQ59780405MaRDI QIDQ617983FDOQ617983

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

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

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)

Cites Work

• Title not available (Why is that?)
• Practical aspects of declarative languages. 4th international symposium, PADL 2002, Portland, OR, USA, January 19--20, 2002. Proceedings.
• Title not available (Why is that?)
• A type system for dynamic web documents
• Building program optimizers with rewriting strategies
• Program transformation with scoped dynamic rewrite rules

Cited In (2)

• WebDSL
• Checking content consistency of integrated web documents

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)