861 search results - page 24 / 173 » Symbolic Program Analysis Using Term Rewriting and Generaliz... |
136
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
2008
IEEE-ACM
WS-BPEL applications are a kind of service-oriented application. They use XPath extensively to integrate loosely-coupled workflow steps. However, XPath may extract wrong data from...
131
click to vote
SIGMOD
2010
ACM
15 years 6 months ago
2010
ACM
A database application differs form regular applications in that some of its inputs may be database queries. The program will execute the queries on a database and may use any re...
158
click to vote
AOSD
2008
ACM
15 years 4 months ago
2008
ACM
Aspect-oriented software presents new challenges for the designers of static analyses. Our work aims to establish systematic foundations for dataflow analysis of AspectJ software....
159
click to vote
FASE
2006
Springer
15 years 6 months ago
2006
Springer
This paper describes the application of the Real-Time Maude tool to the formal specification and analysis of the CASH scheduling algorithm and its suggested modifications. The CASH...
117
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
In the context of program verification in an interactive theorem prover, we study the problem of transforming function definitions with ML-style (possibly overlapping) pattern mat...