877 search results - page 17 / 176 » Full Abstraction for HOPLA |
JUCS
2010
13 years 6 months ago
2010
of Abstract and Full Paper submission: October 31, 2009 November 15, 2009 Notification of Acceptance: December 7, 2009: Deadline of Authors and Early-bird Registration: January 8, ...
ICDE
2009
IEEE
14 years 9 months ago
2009
IEEE
Abstract-- We investigate techniques to automatically decompose any XQuery query into subqueries, that can be executed near their data sources; i.e., function-shipping. In this sce...
CORR
2007
Springer
13 years 7 months ago
2007
Springer
Only the Table of Contents and the Abstract appear in http://www.ingber.com/markets05_trd.pdf, as the publisher has requested all previous papers be removed from the internet. The ...
ICCL
1992
IEEE
13 years 11 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
POPL
2005
ACM
14 years 7 months ago
2005
ACM
on Predicate Abstraction and Fair Termination Andreas Podelski Andrey Rybalchenko Max-Planck-Institut f?ur Informatik Saarbr?ucken, Germany Predicate abstraction is the basis of m...