PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

AXIOM

AXIOM

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


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

View source

PLDB - Build the next great programming language 路 v2022 Day 32 Docs Build Acknowledgements Traffic Today Traffic Trends Mirrors GitHub feedback@pldb.com