This programming language may be used to instruct a computer to perform a task.
If you know SPAD, please write code for some of the tasks not implemented in SPAD.
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 12 pages are in this category, out of 12 total.