Sciweavers

151 search results - page 7 / 31
» XLambda: A functional programming language with XML syntax
Sort
View
56
Voted
APCCM
2007
14 years 11 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
15 years 7 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»
15 years 2 months 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...
80
Voted
VL
2003
IEEE
157views Visual Languages» more  VL 2003»
15 years 2 months 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»
15 years 2 months 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...