Searching for authors named "Val Tannen" – sorted by Relevance.
31 documents found, showing 1 through 10.
Next 10 →
-
Tutorial: Languages for Collection Types
- …Tutorial: Languages for Collection Types Val Tannen University of Pennsylvania val…
- Cited by 9 (0 self) – Add To MetaCart
-
Proving Meta-Theorems in a Logical Framework
- … Gunter, University of Pennsylvania Frank Pfenning, Carnegie Mellon University Val Tannen, University…
- Add To MetaCart
-
CoPa: a Parallel Programming Language for Collections
- …CoPa: a Parallel Programming Language for Collections Dan Suciu Val Tannen y Abstract…
- Cited by 7 (1 self) – Add To MetaCart
-
Chase and Axioms for PC Queries and Dependencies
- …Chase and Axioms for PC Queries and Dependencies Lucian Popa and Val Tannen University…
- Cited by 3 (3 self) – Add To MetaCart
-
Efficient Compilation of High-Level Data Parallel Algorithms
- …Efficient Compilation of High-Level Data Parallel Algorithms Dan Suciu Val Tannen Deptartment…
- Cited by 13 (1 self) – Add To MetaCart
-
A Query Language for NC
- …A Query Language for NC Dan Suciu AT&T Labs suciu@(email omitted); Val Tannen University…
- Cited by 12 (7 self) – Add To MetaCart
-
MARS: A System for Publishing XML from Mixed and Redundant Storage
- …MARS: A System for Publishing XML from Mixed and Redundant Storage Alin Deutsch Val Tannen…
- Cited by 46 (8 self) – Add To MetaCart
-
Containment and Integrity Constraints for XPath Fragments
- …Containment and Integrity Constraints for XPath Fragments Alin Deutsch Val Tannen University…
- Cited by 40 (3 self) – Add To MetaCart
-
An Equational Chase for Path-Conjunctive Queries, Constraints, and Views
- …An Equational Chase for Path-Conjunctive Queries, Constraints, and Views Lucian Popa and Val Tannen…
- Cited by 31 (10 self) – Add To MetaCart
-
Reformulation of XML Queries and Constraints
- …Reformulation of XML Queries and Constraints Alin Deutsch 1 and Val Tannen 2 1 UC San Diego…
- Cited by 48 (12 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
