1760 search results - page 103 / 352 » Program Analysis Using Weighted Pushdown Systems |
70
Voted
VMCAI
2005
Springer
15 years 6 months ago
2005
Springer
We present a technique to prove termination of multipath polynomial programs, an expressive class of loops that enables practical traction and analysis. The technique is based on ï...
115
click to vote
PASTE
2005
ACM
15 years 6 months ago
2005
ACM
Program instrumentation, inserted either before or during execution, is rapidly becoming a necessary component of many systems. Instrumentation is commonly used to collect informa...
106
click to vote
FDL
2008
IEEE
15 years 22 days ago
2008
IEEE
Digital television (DTV) is an advanced broadcasting technology that is spreading fast today. It gives broadcasters the capability to send programs with a better picture and sound ...
116
click to vote
CACM
2000
15 years 13 days ago
2000
In Programming by Example [PBE, also sometimes called "Programming by Demonstration"] systems, the system records actions performed by a user in the interface, and produ...
99
Voted
SIGSOFT
2003
ACM
16 years 1 months ago
2003
ACM
This paper proposes a pointer alias analysis for automatic error detection. State-of-the-art pointer alias analyses are either too slow or too imprecise for finding errors in real...