AXIOM is a pl created in 1992.

#253on PLDB | 30Years 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...

- the AXIOM Wikipedia page
- AXIOM first developed in IBM
- Explore AXIOM snippets on Rosetta Code
- AXIOM is listed on HOPL
- Read more about AXIOM on Semantic Scholar: 1
- HTML of this page generated by LanguagePage.ts
- Improve our AXIOM file

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 |

ooxml.html · axiom.html · raml.html