Category:SPAD: Difference between revisions
Content added Content deleted
No edit summary |
mNo edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 4: | Line 4: | ||
|gc=yes |
|gc=yes |
||
|LCT=yes}}{{implementation|FriCAS,Axiom,OpenAxiom}}{{language programming paradigm|Declarative}} |
|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 |
[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. |
||
Latest revision as of 01:37, 10 April 2016
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.