An ER-Based Framework for Declarative Web Programming

Hanus, Michael; Koschnicke, Sven

doi:10.1007/978-3-642-11503-5_18

Cited by 10 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…As in SAFE, updates to HTML and CSS code are performed automatically. Hanus and Koschnicke have recently presented a framework [11] to support the development of web applications based on an entity-relationship model. As for SAFE, this approach ensures application state consistency.…”

Section: Other Related Workmentioning

confidence: 99%

SAFE extensibility of data-driven web applications

Reischuk

Backes

Gehrke

2012

Proceedings of the 21st International Conference on World Wide Web

View full text Add to dashboard Cite

This paper presents a novel method for enabling fast development and easy customization of interactive data-intensive web applications. Our approach is based on a high-level hierarchical programming model that results in both a very clean semantics of the application while at the same time creating well-defined interfaces for customization of application components. A prototypical implementation of a conference management system shows the efficacy of our approach.

show abstract

Section: Other Related Workmentioning

confidence: 99%

SAFE extensibility of data-driven web applications

Reischuk

Backes

Gehrke

2012

Proceedings of the 21st International Conference on World Wide Web

View full text Add to dashboard Cite

show abstract

“…CASS is intended to analyze larger systems. Thus, we omit the data for analyzing single modules but present the analysis times for four different Curry applications: the interactive environment (read/eval/print loop) of KiCS2, the analysis system presented in this paper, the interactive analysis environment CurryBrowser [12], and the module database, a web application generated from an entity/relationship model with the web framework Spicey [17]. In order to get an impression of the size of each application, the number of modules (including imported system modules) is shown for each application.…”

Section: Practical Evaluationmentioning

confidence: 99%

A modular and generic analysis server system for functional logic programs

Hanus

Skrlac

2014

Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation

Self Cite

View full text Add to dashboard Cite

We present the design, implementation, and application of a system, called CASS, for the analysis of functional logic programs. The system is generic so that various kinds of analyses (e.g., groundness, non-determinism, demanded arguments) can be easily integrated. In order to analyze larger applications consisting of dozens or hundreds of modules, CASS supports a modular and incremental analysis of programs. Moreover, it can be used by different programming tools, like documentation generators, analysis environments, program optimizers, as well as Eclipse-based development environments. For this purpose, CASS can also be invoked as a server system to get a language-independent access to its functionality. CASS is completely implemented in the functional logic language Curry as a master/worker architecture to exploit parallel or distributed execution environments.

show abstract

Plato: A Compiler for Interactive Web Forms

Hinrichs

2011

Practical Aspects of Declarative Languages

View full text Add to dashboard Cite

Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and theorem proving. This paper presents PLATO, a compiler that automatically generates web forms that detect errors and fill-in implied values from declarative web form descriptions. Instead of writing HTML and JavaScript directly, web developers write an ontology in classical logic that describes the relationships between web form fields, and PLATO automatically generates HTML to display the form and browser scripts to implement the requisite SAT solving and theorem proving. We discuss PLATO's design and implementation and evaluate PLATO's performance both analytically and empirically.

show abstract

An ER-Based Framework for Declarative Web Programming

Cited by 10 publications

References 6 publications

SAFE extensibility of data-driven web applications

SAFE extensibility of data-driven web applications

A modular and generic analysis server system for functional logic programs

Plato: A Compiler for Interactive Web Forms

Contact Info

Product

Resources

About