Title | ||
---|---|---|
Static Analysis for the Synthesis of Eureka Properties for Transforming Logic Programs |
Year | DOI | Venue |
---|---|---|
1992 | 10.1007/978-1-4471-3421-3_3 | ALPUK |
Keywords | Field | DocType |
static analysis | Static program analysis,Logic program,Computer science,Correctness,Static analysis,Theoretical computer science | Conference |
Citations | PageRank | References |
2 | 0.52 | 14 |
Authors | ||
1 |