# Category:SPAD

**SPAD**

This

**programming language**may be used to instruct a computer to perform a task.

Garbage collected: | Yes |
---|---|

Type strength: | Strong |

Type checking: | Static |

See Also: |

**SPAD**is an

**implementation**of FriCAS,Axiom,OpenAxiom. Other implementations of FriCAS,Axiom,OpenAxiom.

SPAD is programming language used by the Fricas Computer Algebra System (as well as by Axiom and OpenAxiom). It is a multiparadigm language with second order dependent types. It is useful for research and development of mathematical algorithms. It defines a strongly typed, mathematically correct type hierarchy and is used in compiler - or interpreter mode.

## Pages in category "SPAD"

The following 13 pages are in this category, out of 13 total.