2944 search results - page 281 / 589 » Robust Semantic Construction |
183
click to vote
FOSSACS
2005
Springer
16 years 8 days ago
2005
Springer
The problems of contextual equivalence and approximation are studied for the third-order fragment of Idealized Algol with iteration (IA∗ 3). They are approached via a combination...
184
click to vote
MATA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. Recent advances in materials, sensing, power harvesting, contextawareness and miniaturisation have opened-up the possibility of constructing materials that directly inclu...
177
Voted
TLCA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. The Focal language (formerly FoC) allows one to incrementally build modules and to formally prove their correctness. In this paper, we present two formal semantics for en...
141
click to vote
PASTE
2004
ACM
16 years 5 days ago
2004
ACM
This work discusses two non-traditional approaches for evaluating the imprecision of static analysis. The approaches are based on proofs of feasibility or infeasibility that are c...
160
click to vote
CAISE
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We discuss how ontologies can be used to facilitate the construction of transformations between XML documents. We introduced a method to compose transformations for XML d...