AXIOM is a programming language created in 1992.
| #258on PLDB | 31Years Old | 5.0kUsers |
| 0Books | 6Papers |
An axiom or postulate is a statement that is taken to be true, to serve as a premise or starting point for further reasoning and arguments. The word comes from the Greek axíōma (ἀξίωμα) 'that which is thought worthy or fit' or 'that which commends itself as evident.'The term has subtle differences in definition when used in the context of different fields of study. As defined in classic philosophy, an axiom is a statement that is so evident or well-established, that it is accepted without controversy or question. Read more on Wikipedia...
| title | authors | year | citations | influentialCitations |
|---|---|---|---|---|
| Programming Language Constructs for Which It Is Impossible To Obtain Good Hoare Axiom Systems | E. Clarke | 1979 | 163 | 7 |
| Programming language constructs for which it is impossible to obtain good hoare-like axiom systems | E. Clarke | 1977 | 52 | 1 |
| A good Hoare axiom system for an ALGOL-like language | Joseph Y. Halpern | 1984 | 20 | 0 |
| Computation of the Jordan canonical form of a square matrix (using the Axiom programming language) | I. Gil | 1992 | 10 | 1 |
| Verifying safety critical task scheduling systems in PPTL axiom system | N. Zhang and Mengfei Yang and B. Gu and Zhenhua Duan and Cong Tian | 2016 | 6 | 0 |
| How to make AXIOM into a scratchpad | R. Jenks and B. Trager | 1994 | 5 | 0 |