Name
Abstract | ||
|---|---|---|
We demonstrate the use of formal methods tools to provide a semantics for the type hierarchy of the AXIOM computer algebra system, and a methodology for Aldor program analysis and verification. We give a case study of abstract specifications of AXIOM primitives, and provide an interface between these abstractions and Aldor code. |
Year | DOI | Venue |
|---|---|---|
1999 | 10.1007/3-540-48118-4_43 | World Congress on Formal Methods |
Keywords | Field | DocType |
formal method,program analysis | Programming language,Computer science,Axiom,Theoretical computer science,Program analysis,Formal methods,Hierarchy,Semantics,Abstract machine,Formal verification,Proof assistant | Conference |
Volume | ISSN | ISBN |
1709 | 0302-9743 | 3-540-66588-9 |
Citations | PageRank | References |
3 | 0.39 | 10 |
Authors | ||
4 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Martin Dunstan | 1 | 35 | 2.26 |
| Tom Kelsey | 2 | 339 | 22.24 |
| Ursula Martin | 3 | 127 | 16.38 |
| S. A. Linton | 4 | 332 | 26.66 |