11 lines
No EOL
606 B
Text
11 lines
No EOL
606 B
Text
{{language|SPAD
|
|
|strength=strong
|
|
|checking=static
|
|
|gc=yes
|
|
|LCT=yes}}{{implementation|FriCAS,Axiom,OpenAxiom}}{{language programming paradigm|Declarative}}
|
|
[http://fricas.github.io/ 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.
|
|
|
|
|
|
<br clear=all>
|
|
|
|
[[Category:Mathematical programming languages]] |