Robot | Path | Permission |
GoogleBot | / | ✔ |
BingBot | / | ✔ |
BaiduSpider | / | ✔ |
YandexBot | / | ✔ |
Title | Axiomatic Language Home |
Description | A minimal, pure specification logic programming language with meta-language |
Keywords | logic programming, Prolog, higher-order logic, HiLog, axiomatic language, software specification, formal methods, meta-language, meta-programming, functional programming, fp |
WebSite | axiomaticlanguage.org |
Host IP | 209.217.33.133 |
Location | United States |
Site | Rank |
US$1,204,391
Last updated: 2023-05-16 17:04:10
axiomaticlanguage.org has Semrush global rank of 8,788,102. axiomaticlanguage.org has an estimated worth of US$ 1,204,391, based on its estimated Ads revenue. axiomaticlanguage.org receives approximately 138,969 unique visitors each day. Its web server is located in United States, with IP address 209.217.33.133. According to SiteAdvisor, axiomaticlanguage.org is safe to visit. |
Purchase/Sale Value | US$1,204,391 |
Daily Ads Revenue | US$1,112 |
Monthly Ads Revenue | US$33,353 |
Yearly Ads Revenue | US$400,229 |
Daily Unique Visitors | 9,265 |
Note: All traffic and earnings values are estimates. |
Host | Type | TTL | Data |
axiomaticlanguage.org. | A | 21600 | IP: 209.217.33.133 |
axiomaticlanguage.org. | NS | 21600 | NS Record: ns1.webhero.com. |
axiomaticlanguage.org. | NS | 21600 | NS Record: ns3.webhero.com. |
axiomaticlanguage.org. | NS | 21600 | NS Record: ns2.webhero.com. |
axiomaticlanguage.org. | MX | 21600 | MX Record: 20 mx2.webhero.com. |
axiomaticlanguage.org. | MX | 21600 | MX Record: 10 mx1.webhero.com. |
Axiomatic Language A minimal pure-specification logic programming language with meta-language capability. YouTube Video - Dec. 2, 2015 Polyglot Programming DC InfoQ Video - 2013 Emerging Languages Camp Axiomatic Language Theme Song (other music: Giga and William Tell Overture ) contact: Walter W. Wilson wwwilson at acm dot org --> Overview of Axiomatic Language ( pdf ) --> Axiomatic language is proposed as a tool for greater programmer productivity and software reliability. Goals — Axiomatic language has the following goals: (1) pure specification – you tell the computer what to do without telling it how to do it, (2) minimal, but extensible – as small as possible without sacrificing expressiveness, (3) a metalanguage – able to incorporate the capabilities and advantages of other languages, and (4) beauty. Idea — Axiomatic language is based on the idea that the external behavior of a function or program – even an interactive program – can be represented by a static, infinite set |
HTTP/1.1 200 OK Date: Thu, 03 Feb 2022 11:54:51 GMT Server: Apache Last-Modified: Tue, 14 Sep 2021 20:53:42 GMT ETag: "4fb2230e-2f49-5cbfac6da2180" Accept-Ranges: bytes Content-Length: 12105 Connection: close Content-Type: text/html |
Domain Name: AXIOMATICLANGUAGE.ORG Registry Domain ID: D66905474-LROR Registrar WHOIS Server: whois.webhero.com Registrar URL: webhero.com Updated Date: 2021-03-05T16:31:00Z Creation Date: 2001-03-06T16:21:13Z Registry Expiry Date: 2022-03-06T16:21:13Z Registrar: Webhero, Inc. Registrar IANA ID: 112 Registrar Abuse Contact Email: abuse@webhero.com Registrar Abuse Contact Phone: +1.4057539300 Domain Status: clientTransferProhibited https://icann.org/epp#clientTransferProhibited Registrant Organization: Walter W. Wilson Registrant State/Province: TX Registrant Country: US Name Server: NS1.WEBHERO.COM Name Server: NS2.WEBHERO.COM Name Server: NS3.WEBHERO.COM DNSSEC: unsigned URL of the ICANN Whois Inaccuracy Complaint Form https://www.icann.org/wicf/) >>> Last update of WHOIS database: 2022-02-03T12:41:43Z <<< |