Axiomatic Language



All Links

Share this:

Details of Axiomatic Language

About Axiomatic Language
Axiomatic Language- 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.