ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The article concerns problems of formulating standard requirements to implementations of mathematical functions working with floating-point numbers and conformance test ...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The quest for modular concurrency reasoning has led to recent proposals that extend program assertions to include not just knowledge about the state, but rights to access...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider the problem of query containment for conjunctive queries with safe negation property. A necessary and sufficient condition for two queries to be in containmen...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
One of the applications of supercompilation is proving properties
of programs.We focus in this paper on a speci c task: proving term
equivalence for a higher-order lazy functiona...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Model programs are high-level behavioral specifications typically representing Abstract State Machines or ASMs. Conformance checking of model programs is the problem of ...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. Debugging virtual machines (VMs) presents unique challenges, especially meta-circular VMs, which are written in the same language they implement. Making sense of runtime ...
ERSHOV
2009
Springer
14 years 2 months ago
2009
Springer
ER
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. The development of index structures that allow e cient retrieval of spatial objects has been a topic of interest in the last decades. Most of these structures have been d...