Sciweavers

589 search results - page 44 / 118
» A Language for Multi-dimensional Updates
Sort
View
200
Voted
VEE
2012
ACM
226views Virtualization» more  VEE 2012»
13 years 11 months ago
Protecting applications against TOCTTOU races by user-space caching of file metadata
Time Of Check To Time Of Use (TOCTTOU) race conditions for file accesses in user-space applications are a common problem in Unix-like systems. The mapping between filename and i...
Mathias Payer, Thomas R. Gross
APLAS
2009
ACM
15 years 10 months ago
Witnessing Purity, Constancy and Mutability
Restricting destructive update to values of a distinguished reference type prevents functions from being polymorphic in the mutability of their arguments. This restriction makes it...
Ben Lippmeier
139
Voted
XIMEP
2006
ACM
161views Database» more  XIMEP 2006»
15 years 9 months ago
Programming with XQuery
XQuery is a declarative language for querying and updating XML data sources. Interfacing XQuery to a host programming language is difficult because of the type system mismatch, an...
Donald D. Chamberlin, Michael J. Carey, Daniela Fl...
111
Voted
SIGADA
2004
Springer
15 years 9 months ago
Teaching graphics using Ada
This paper describes several tools related to the Ada language that were developed to support the teaching of a computer graphics course. These tools include an updated and improv...
C. Wayne Brown
139
Voted
DOCENG
2003
ACM
15 years 9 months ago
Extending xQuery with transformation operators
In this paper, we propose to extend XQuery - the XML query language - with a set of transformation operators which will produce a copy of an XML tree in which some subtrees will b...
Emmanuel Bruno, Jacques Le Maitre, Elisabeth Muris...