Category:SPAD
From Rosetta Code
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: |
Your Help Needed
If you know SPAD, please write code for some of the tasks not implemented in SPAD.
If you know SPAD, please write code for some of the tasks not implemented in SPAD.
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.
