2529 search results - page 291 / 506 » The Logical Structure of Binding |
146
click to vote
FMCAD
2007
Springer
16 years 24 days ago
2007
Springer
— Craig interpolants are often used to approximate inductive invariants of transition systems. Arithmetic relationships between numeric variables require word-level interpolants,...
184
click to vote
ADBIS
2006
Springer
16 years 18 days ago
2006
Springer
XML is suitable for structuring complex data coming from different sources and supported by heterogeneous formats. It allows a flexible formalism capable to represent and store d...
154
click to vote
SAC
2006
ACM
16 years 17 days ago
2006
ACM
We provide sufficient conditions that formally guarantee that the floating-point computation of a polynomial evaluation is faithful. To this end, we develop a formalization of ï¬...
145
click to vote
TIME
2005
IEEE
16 years 6 days ago
2005
IEEE
— We provide a novel trace semantics for positive core XPath that exposes all intermediate nodes visited by the query engine. This enables a detailed analysis of all information ...
145
click to vote
VISSOFT
2005
IEEE
16 years 6 days ago
2005
IEEE
Understanding classes and methods is a key activity in object-oriented programming, since classes represent the abstractions from which applications are built, while methods conta...