157 search results - page 14 / 32 » Interpolation and Symbol Elimination |
256
click to vote
VLDB
2008
ACM
16 years 6 months ago
2008
ACM
Mapping composition is a fundamental operation in metadata driven applications. Given a mapping over schemas 1 and 2 and a mapping over schemas 2 and 3, the composition problem is...
141
click to vote
CAV
2010
Springer
15 years 9 months ago
2010
Springer
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the gener...
166
click to vote
ISSAC
2007
Springer
15 years 12 months ago
2007
Springer
Algebraic randomization techniques can be applied to hybrid symbolic-numeric algorithms. Here we consider the problem of interpolating a sparse rational function from noisy values...
157
click to vote
LICS
2003
IEEE
15 years 11 months ago
2003
IEEE
We show that the first-order theory of structural subtyping of non-recursive types is decidable, as a consequence of a more general result on the decidability of term powers of d...
141
click to vote
TACAS
2010
Springer
16 years 24 days ago
2010
Springer
STRANGER is an automata-based string analysis tool for finding and eliminating string-related security vulnerabilities in PHP applications. STRANGER uses symbolic forward and back...