Sciweavers

31 search results - page 7 / 7
» Embedding Point Sets into Plane Graphs of Small Dilation
Sort
View
POPL
2010
ACM
14 years 3 months ago
Continuity Analysis of Programs
We present an analysis to automatically determine if a program represents a continuous function, or equivalently, if infinitesimal changes to its inputs can only cause infinitesim...
Swarat Chaudhuri, Sumit Gulwani, Roberto Lublinerm...