The C++ programming language
The C programming language
Programming perl
Tcl and the Tk toolkit
Model checking for programming languages using VeriSoft
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Letters to the editor: go to statement considered harmful
Communications of the ACM
Using dependent types to express modular structure
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Database Systems Concepts
A form application development system
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
Formal validation of virtual finite state machines
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Experience with a domain specific language for form-based services
DSL'97 Proceedings of the Conference on Domain-Specific Languages on Conference on Domain-Specific Languages (DSL), 1997
Specifying internet applications with DiCons
Proceedings of the 2001 ACM symposium on Applied computing
ACM Transactions on Internet Technology (TOIT)
5SL: a language for declarative specification and generation of digital libraries
Proceedings of the 2nd ACM/IEEE-CS joint conference on Digital libraries
Language-Based Caching of Dynamically Generated HTML
World Wide Web
NGITS '02 Proceedings of the 5th International Workshop on Next Generation Information Technologies and Systems
Safe Web Forms and XML Processing with Ada
Ada Europe '01 Proceedings of the 6th Ade-Europe International Conference Leuven on Reliable Software Technologies
An MSC Based Representation of DiCons
SDL '01 Proceedings of the 10th International SDL Forum Copenhagen on Meeting UML
Automatically Restructuring Programs for the Web
Proceedings of the 16th IEEE international conference on Automated software engineering
Streams, structures, spaces, scenarios, societies (5s): A formal model for digital libraries
ACM Transactions on Information Systems (TOIS)
Staging transformations for multimodal web interaction management
Proceedings of the 13th international conference on World Wide Web
Automatically Restructuring Programs for the Web
Automated Software Engineering
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
Developing maintainable software: the READABLE approach
Decision Support Systems
A history of Haskell: being lazy with class
Proceedings of the third ACM SIGPLAN conference on History of programming languages
Journal of Systems and Software
Better abstractions for secure server-side scripting
Proceedings of the 17th international conference on World Wide Web
Grammar-driven generation of domain-specific language debuggers
Software—Practice & Experience
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Instant multi-tier web applications without tears
Proceedings of the 2nd India software engineering conference
Automating test case definition using a domain specific language
Proceedings of the 46th Annual Southeast Regional Conference on XX
ESOP'03 Proceedings of the 12th European conference on Programming
Links: web programming without tiers
FMCO'06 Proceedings of the 5th international conference on Formal methods for components and objects
Static consistency checking of web applications with WebDSL
Journal of Symbolic Computation
Contracts for cooperation between web service programmers and html designers
Journal of Web Engineering
Bossa nova: introducing modularity into the bossa domain-specific language
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
Scalable programming abstractions for XML services
Dependable Systems
A spreadsheet client for web applications
NGITS'06 Proceedings of the 6th international conference on Next Generation Information Technologies and Systems
| Hi-index | 0.00 |
A form-based service is one in which the flow of data between service and user is described by a sequence of query/response interactions, or forms. Mawl is a domain-specific language for programming form-based services in a device-independent manner. We focus on Mawl's form abstraction, which is the means for separating service logic from user interface description, and show how this simple abstraction addresses seven issues in service creation, analysis, and maintenance: compile-time guarantees, implementation flexibility, rapid prototyping, testing and validation, support for multiple devices, composition of services, and usage analysis.