Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach

El-Ansary, Sameh; Grolaux, Donatien; Roy, Peter Van; Rafea, Mahmoud

doi:10.1007/978-3-540-31845-3_10

Cited by 4 publications

(5 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…While GWT and Links are well suited for traditional client-server applications, neither supports dynamic services such as our web service auto-installer example. Other efforts along similar lines include Swift [5] which also produces JavaScript code for the client and Java for the server but which additionally allows annotating a program with information flow properties to reason about secrecy and authentication, QHTML [9], a client-server module for Oz with support for declarative graphical user interface programming, and Hop [29], a dynamically typed language for web programming based on Scheme.…”

Section: Related Workmentioning

confidence: 99%

Substructural Meta-Theory of a Type-Safe Language for Web Programming

Cervesato

Sans

2014

Fundamenta Informaticae

View full text Add to dashboard Cite

This paper introduces an abstract web programming language, QWeSST, and a methodology for proving properties of formalisms, such are QWeSST, that are parallel, distributed and concurrent. At its core, QWeSST is a small functional programming language extended with primitives for mobile code and remote procedure calls, two distinguishing features of web programming. It supports a localized view of typechecking and of evaluation, which reflects the way we program web applications and web services. We have developed a prototype implementation for QWeSST and used it to elegantly write simple web applications that are however not easily expressed using current web technology. We give two semantics for QWeSST, one is standard and models a naive form of single-threaded evaluation, the other is maximally parallel and exploits a presentation of its typing and execution behaviors based on an extended form of substructural operational semantics. It augments standard inference rules with a construction that realizes parametric multiset comprehension, which makes it convenient to capture ensemble-level behaviors. We prove that both semantics are type safe, the former using traditional methods, the latter by developing a proof methodology that parallels the multiset-oriented presentation of the semantics.

show abstract

Section: Related Workmentioning

confidence: 99%

Substructural Meta-Theory of a Type-Safe Language for Web Programming

Cervesato

Sans

2014

Fundamenta Informaticae

View full text Add to dashboard Cite

show abstract

“…The first enjoys popularity because its Actor Model approach to multithreading makes it suitable for certain scalable application. QHTML [12] is an attempt to take advantage of the multiple programming paradigms supported by the second, allowing the programmer to define both the server side and the client side in Oz, treating HTML documents like traditional GUI elements.…”

Section: Xml-basedmentioning

confidence: 99%

JSONYA/FN: Functional Computation in JSON

Sredkov¹

2013

SJC

View full text Add to dashboard Cite

Functional programming has a lot to offer to the developers of global Internet-centric applications, but is often applicable only to a small part of the system or requires major architectural changes. The data model used for functional computation is often simply considered a consequence of the chosen programming style, although inappropriate choice of such model can make integration with imperative parts much harder. In this paper we do the opposite: we start from a data model based on JSON and then derive the functional approach from it. We outline the identified principles and present Jsonya/fn — a low-level functional language that is defined in and operates with the selected data model. We use several Jsonya/fn implementations and the architecture of a recently developed application to show that our approach can improve interoperability and can achieve additional reuse of representations and operations at relatively low cost. ACM Computing Classification System (1998): D.3.2, D.3.4.

show abstract

“…We are currently re-implementing all of Asterias using Pylons (http://pylonshq.com), a Python web framework, together with installation scripts that ease the configuration, management and monitoring of the computing nodes and parallel computing layers. We are also exploring other languages and paradigms, such as QHTML (41), built on top of Mozart/Oz, to solve the problem that ‘Building web-based applications requires the mastering of a number of languages/technologies (e.g. HTML, CSS, CGI, ASP, PHP, XML, etc.).…”

Section: Future Workmentioning

confidence: 99%

Asterias: integrated analysis of expression and aCGH data using an open-source, web-based, parallelized software suite

Dı́az-Uriarte

Alibés

Morrissey

et al. 2007

Nucleic Acids Research

View full text Add to dashboard Cite

Asterias (http://www.asterias.info) is an open-source, web-based, suite for the analysis of gene expression and aCGH data. Asterias implements validated statistical methods, and most of the applications use parallel computing, which permits taking advantage of multicore CPUs and computing clusters. Access to, and further analysis of, additional biological information and annotations (PubMed references, Gene Ontology terms, KEGG and Reactome pathways) are available either for individual genes (from clickable links in tables and figures) or sets of genes. These applications cover from array normalization to imputation and preprocessing, differential gene expression analysis, class and survival prediction and aCGH analysis. The source code is available, allowing for extention and reuse of the software. The links and analysis of additional functional information, parallelization of computation and open-source availability of the code make Asterias a unique suite that can exploit features specific to web-based environments.

show abstract

Overcoming the Multiplicity of Languages and Technologies for Web-Based Development Using a Multi-paradigm Approach

Cited by 4 publications

References 4 publications

Substructural Meta-Theory of a Type-Safe Language for Web Programming

Substructural Meta-Theory of a Type-Safe Language for Web Programming

JSONYA/FN: Functional Computation in JSON

Asterias: integrated analysis of expression and aCGH data using an open-source, web-based, parallelized software suite

Contact Info

Product

Resources

About