Axiomatic Language
Edit Page
Report
Scan day: 07 February 2014 UTC
5
Virus safety - good
Description: A pure, minimal but extensible, logic-programming/specification language with meta-language capability is described. The paradigm involved explicitly separates declarative specification from ensuing transformation.
A minimal pure-specification logic programming language papers & links on axiomatic language: submission: "Implementation of Axiomatic Language" ( , SIGPLAN Notices, Sept. 1982, pp.34-43.
Size: 205 chars
Contact Information
Email: —
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | Axiomatic Language Home Page |
| Keywords: | logic programming, Prolog, higher-order logic, HiLog, axiomatic language, software specification, formal methods, meta-language, meta-programming, functional programming, fp, LISP |
| Description: | A minimal, pure specification logic programming language with meta-language capability. |
| IP-address: | 209.217.33.133 |
WHOIS Info
| NS | Name Server:NS1.CATALOG.COM Name Server:NS3.CATALOG.COM Name Server:NS2.CATALOG.COM Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: Name Server: DNSSEC:Unsigned |
| WHOIS | Status: clientTransferProhibited |
| Date | Creation Date: 2001-03-06T16:21:13Z Expiry Date: 2014-03-06T16:21:13Z |