Abstract | ||
---|---|---|
Static analysis of software processes is important in assessing the correctness of processes, particularly since their long duration and distributed execution make them difficult to test. We describe a novel approach to building a static analyzer that can detect programming errors and anomalies in processes written in Little-JIL. We describe semantic rules declaratively in first-order logic and use xlinkit, a constraint checker, to check the processes. We have used this approach to develop a checker that can find simple syntactic errors as well as more complex control and data flow anomalies. |
Year | DOI | Venue |
---|---|---|
2003 | 10.1007/978-3-540-45189-1_11 | LECTURE NOTES IN COMPUTER SCIENCE |
Keywords | Field | DocType |
static analysis,software process,first order logic,data flow | Computer science,Correctness,Static analysis,Theoretical computer science,Software,First-order logic,Syntax,Semantics,Software development,Data flow diagram | Conference |
Volume | ISSN | Citations |
2786 | 0302-9743 | 1 |
PageRank | References | Authors |
0.70 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Shimon Rura | 1 | 1 | 0.70 |
Barbara Staudt Lerner | 2 | 278 | 29.17 |