Handbook of theoretical computer science (vol. B)
PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
CGI programming on the World Wide Web
CGI programming on the World Wide Web
A runtime system for interactive Web services
WWW '99 Proceedings of the eighth international conference on World Wide Web
Mawl: A Domain-Specific Language for Form-Based Services
IEEE Transactions on Software Engineering
A type system for dynamic Web documents
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative specification of data-intensive Web sites
Proceedings of the 2nd conference on Domain-specific languages
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Static validation of dynamically generated HTML
PASTE '01 Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Growing languages with metamorphic syntax macros
PEPM '02 Proceedings of the 2002 ACM SIGPLAN workshop on Partial evaluation and semantics-based program manipulation
JavaScript: The Definitive Guide
JavaScript: The Definitive Guide
Principles of Program Analysis
Principles of Program Analysis
The Java Programming Language
Cold Fusion 3.0: Intranet Application Development Toolkit
Cold Fusion 3.0: Intranet Application Development Toolkit
PowerForms: Declarative client-side form field validation
World Wide Web
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
Language-Based Caching of Dynamically Generated HTML
World Wide Web
Web Programming with SMLserver
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
Web application security assessment by fault injection and behavior monitoring
WWW '03 Proceedings of the 12th international conference on World Wide Web
Extending Java for high-level Web service construction
ACM Transactions on Programming Languages and Systems (TOPLAS)
HydroJ: object-oriented pattern matching for evolvable distributed systems
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Generating web-based systems from specifications
Proceedings of the 2004 ACM symposium on Applied computing
An evaluation of Web services in the design of a B2B application
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Staging transformations for multimodal web interaction management
Proceedings of the 13th international conference on World Wide Web
Jedd: a BDD-based relational extension of Java
Proceedings of the ACM SIGPLAN 2004 conference on Programming language design and implementation
Static Checking of Dynamically Generated Queries in Database Applications
Proceedings of the 26th International Conference on Software Engineering
Web programming in Scheme with LAML
Journal of Functional Programming
An embedded domain-specific language for type-safe server-side web scripting
ACM Transactions on Internet Technology (TOIT)
Static approximation of dynamically generated Web pages
WWW '05 Proceedings of the 14th international conference on World Wide Web
A testing framework for Web application security assessment
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web security
Type-oriented construction of web user interfaces
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
Developing maintainable software: the READABLE approach
Decision Support Systems
Expressive programs through presentation extension
Proceedings of the 6th international conference on Aspect-oriented software development
Static validation of XSL transformations
ACM Transactions on Programming Languages and Systems (TOPLAS)
Putting declarative programming into the web: translating curry to javascript
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Static checking of dynamically generated queries in database applications
ACM Transactions on Software Engineering and Methodology (TOSEM)
The metafront system: Safe and extensible parsing and transformation
Science of Computer Programming
iTasks: executable specifications of interactive work flow systems for the web
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Implementation and use of the PLT scheme Web server
Higher-Order and Symbolic Computation
Better abstractions for secure server-side scripting
Proceedings of the 17th international conference on World Wide Web
Relations as an abstraction for BDD-based program analysis
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Introduction to iTasks: Defining Interactive Work Flows for the Web
Central European Functional Programming School
WebDSL: A Case Study in Domain-Specific Language Engineering
Generative and Transformational Techniques in Software Engineering II
Proceedings of the 2009 ACM symposium on Applied Computing
Gel: A Generic Extensible Language
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology
SAS '09 Proceedings of the 16th International Symposium on Static Analysis
A testing framework for Web application security assessment
Computer Networks: The International Journal of Computer and Telecommunications Networking - Web security
ICWE'07 Proceedings of the 7th international conference on Web engineering
A semantic data validation service for web applications
Journal of Theoretical and Applied Electronic Commerce Research
An iTask case study: a conference management system
AFP'08 Proceedings of the 6th international conference on Advanced functional programming
Customizing a functional programming language for web development
Computer Languages, Systems and Structures
Syntactic Language Extension via an Algebra of Languages and Transformations
Electronic Notes in Theoretical Computer Science (ENTCS)
Static consistency checking of web applications with WebDSL
Journal of Symbolic Computation
Server enforced program safety for web application engineering
Journal of Web Engineering
Contracts for cooperation between web service programmers and html designers
Journal of Web Engineering
Formal modeling
iData for the world wide web – programming interconnected web forms
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
The design space of type checkers for XML transformation languages
ICDT'05 Proceedings of the 10th international conference on Database Theory
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
IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages
Eliminating the XML overhead in embedded XML languages
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Banana Algebra: Compositional syntactic language extension
Science of Computer Programming
Hi-index | 0.00 |
We present the results of the project, which aimsto design and implement a high-level domain-specific language forprogramming interactive Web services.A fundamental aspect of the development of the World Wide Webduring the last decade is the gradual change from static to dynamicgeneration of Web pages. Generating Web pages dynamically in dialogwith the client has the advantage of providing up-to-date andtailor-made information. The development of systems forconstructing such dynamic Web services has emerged as a whole newresearch area.The language is designed by analyzing itsapplication domain and identifying fundamental aspects of Webservices inspired by problems and solutions in existing Web servicedevelopment languages. The core of the design consists of asession-centered service model together with a flexibletemplate-based mechanism for dynamic Web page construction. Usingspecialized program analyses, certain Web-specific properties areverified at compile time, for instance that only valid HTML 4.01 isever shown to the clients. In addition, the design provideshigh-level solutions to form field validation, caching of dynamicpages, and temporal-logic based concurrency control, and itproposes syntax macros for making highly domain-specificlanguages.The language is implemented via widely available Webtechnologies, such as Apache on the server-side and JavaScript andJava Applets on the client-side. We conclude with experience andevaluation of the project.