2173 search results - page 234 / 435 » An operational semantics for skeletons |
VLDB
1992
ACM
15 years 4 months ago
1992
ACM
We propose a transaction model that provides a framework for transactions to cooperate without sacrificing serializability as a notion of correctness. Cooperation does not depend ...
132
Voted
LCPC
1995
Springer
15 years 4 months ago
1995
Springer
V-cal is a calculus designed to support the compilation of data parallel languages that allows to describe program transformations and optimizations as semantics preserving rewrite...
107
Voted
SP
1991
IEEE
15 years 4 months ago
1991
IEEE
In this paper we give a new decomposition algorithm that breaks a multilevel relation into single-level relations and a new recovery algorithmwhich reconstructs the original multi...
104
Voted
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract. The TransLucid programming language is a low-level intensional language, designed to be sufficiently rich for it to be the target language for translating the common prog...
ICWS
2007
IEEE
15 years 2 months ago
2007
IEEE
There is a critical need to design and develop tools tract away the fundamental complexity of XML based Web services specifications and toolkits, and provide an elegant, intuitive...