1226 search results - page 78 / 246 » Generating Abstractions from Static Domain Analysis |
122
click to vote
ICWE
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. We present partial information extraction approach to lightweight integration on the Web. Our approach allows us to extract dynamic contents created by scripts as well as...
182
Voted
POPL
2000
ACM
15 years 7 months ago
2000
ACM
We propose an automatic method to enforce trace properties on programs. The programmer specifies the property separately from the program; a program transformer takes the program...
114
click to vote
COMPSAC
1998
IEEE
15 years 7 months ago
1998
IEEE
Explosive increase in enduser computing on distributed systems requires that endusers develop application software by themselves. One solution is given as a formula of "a dom...
CIE
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper extends the logical approach to computable analysis via Σ–definability to higher type continuous data such as functionals and operators. We employ definab...
135
click to vote
CJ
2010
15 years 7 days ago
2010
Abstract. Semantics-based program analysis uses an abstract semantics of programs/systems to statically determine run-time properties. Classic examples from compiler technology inc...