Sciweavers

151 search results - page 7 / 31
» XLambda: A functional programming language with XML syntax
Sort
View
APCCM
2007
13 years 9 months ago
Merging Dynamic Functionality: Integration of XML Transformations
Integration of XML data is an increasingly important problem and many methods have recently been developed. In this talk, we examine the related and more challenging task of how t...
James Bailey, Ce Dong
POPL
2010
ACM
14 years 4 months ago
A Verified Compiler for an Impure Functional Language
We present a verified compiler to an idealized assembly language from a small, untyped functional language with mutable references and exceptions. The compiler is programmed in th...
Adam J. Chlipala
ADBIS
2003
Springer
144views Database» more  ADBIS 2003»
14 years 23 days ago
Updatable XML Views
Abstract. XML views can be used in Web applications to resolve incompatibilities among heterogeneous XML sources. They allow to reduce the amount of data that a user has to deal wi...
Hanna Kozankiewicz, Jacek Leszczylowski, Kazimierz...
VL
2003
IEEE
157views Visual Languages» more  VL 2003»
14 years 24 days ago
FoXQ -XQuery by forms
We introduce FoXQ, a visual language that would enable end users to query XML. Our aim is to develop a language that would bring a lot of the functionality of XQuery within the re...
Robin Abraham
EUROCAST
2001
Springer
118views Hardware» more  EUROCAST 2001»
14 years 1 days ago
A Language Prototyping Tool Based on Semantic Building Blocks
We present a Language Prototyping System that facilitates the modular development of interpreters from semantic specifications. The theoretical basis of our system is the integrat...
José Emilio Labra Gayo, Juan Manuel Cueva L...