1. Home
  2. Computer
  3. Programmin­g
  4. Axiomatic Language

Computer · Programmin­g

Axiomatic Language

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

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.

Tags

Leda

Where it sits

Computer Programmin­g

More in Programmin­g

See all →