Category:SPAD: Difference between revisions
Content added Content deleted
(Created page with "{{stub}}{{language|SPAD}}") |
No edit summary |
||
| Line 1: | Line 1: | ||
{{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 can is used in compiler - or interpreter mode. |
|||
<br clear=all> |
|||
[[Category:Mathematical programming languages]] |
|||