You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Edinburgh » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Edinburgh

Return to search Previous output Next output

Output 0 of 0 in the submission

Output title

FLUX: functional updates for XML

Type

E - Conference contribution

DOI

10.1145/1411204.1411209

Name of conference/published proceedings

Proceedings of the 13th ACM SIGPLAN international conference on Functional programming

Volume number

Issue number

First page of article

ISSN of proceedings

Year of publication

2008

URL

http://dl.acm.org/citation.cfm?doid=1411204.1411209

Number of additional authors

Additional information

<08> Originality: This paper's insight is that the difficulties of updates can be avoided in many common cases, by avoiding explicit side-effects. Formalises a source language, target language, type systems for both languages and a translation that preserves and reflects typability. Also formalises a type-based dead-code analysis. These problems were (and some remain) open for the W3C's standard XML update language.

Significance: ICFP is a top programming languages conference. Has influenced subsequent research on XML updates, streaming computation, web programming, and distance metrics for tree-structured data.

Rigour: Detailed proofs in an online appendix. Language and type systems also verified through implementation.

Interdisciplinary

Cross-referral requested

Research group

F - Laboratory for Foundations of Computer Science

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract