Languages Features Creators CSV Resources Challenges Add Language
GitHub icon

AXIOM

AXIOM - Programming language

< >

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...


Publications about AXIOM from Semantic Scholar

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 路 factor.html

View source

- Build the next great programming language Search Day 213 About Blog Acknowledgements Traffic Traffic Today GitHub feedback@pldb.com