1226 search results - page 78 / 246 » Generating Abstractions from Static Domain Analysis |
ICWE
2010
Springer
13 years 6 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...
POPL
2000
ACM
14 years 20 days 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...
COMPSAC
1998
IEEE
14 years 18 days 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
14 years 1 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...
CJ
2010
13 years 5 months 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...