119 search results - page 1 / 24 » A Theory of Scope |
HPDC
2002
IEEE
13 years 10 months ago
2002
IEEE
Error propagation is a central problem in grid computing. We re-learned this while adding a Java feature to the Condor computational grid. Our initial experience with the system w...
ICFP
2005
ACM
14 years 4 months ago
2005
ACM
High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...
TMRA
2007
Springer
13 years 11 months ago
2007
Springer
JLP
2008
13 years 4 months ago
2008
We explore the power of relational semantics and equational reasoning in the style of Kleene algebra for analyzing programs with mutable, statically scoped local variables. We prov...
SIGMOD
2008
ACM
14 years 5 months ago
2008
ACM
We present SchemaScope, a system to derive Document Type Definitions and XML Schemas from corpora of sample XML documents. Tools are provided to visualize, clean, and refine exist...