liu.seSearch for publications in DiVA
Change search
ReferencesLink to record
Permanent link

Direct link
Static and strong typing for extended Mathematica
Linköping University, Department of Computer and Information Science, PELAB - Programming Environment Laboratory. Linköping University, The Institute of Technology.ORCID iD: 0000-0002-3435-4996
1997 (English)In: Innovation in Mathematics: Proceedings of the Second International Mathematica Symposium, 1997, 153-160 p.Conference paper (Refereed)
Abstract [en]

There are at least three reasons why a static type system is a useful extension to Mathematica: A type checker can find errors during software development in Mathematica; Object oriented typing is useful for handling complexity when building large applications or equation-based simulation models; Precise static type information is needed for efficient internal compilation of Mathematica as well as for automatic translation to efficient code in languages such as C++ or Fortran. This paper presents a short overview of the syntax and semantics as well as rationale for a static type system designed to be well integrated into Mathematica. A static type system makes it possible to find type errors in the whole program before execution starts, in contrast to the standard dynamic type checking of Mathematica which only finds type errors in parts of the program during execution. The type system includes basic types, array types, record types, typed variables, typed functions and object oriented constructs. The syntax of the type extensions is standard Mathematica, and the implementation is entirely within Mathematica.

Place, publisher, year, edition, pages
1997. 153-160 p.
National Category
Electrical Engineering, Electronic Engineering, Information Engineering
URN: urn:nbn:se:liu:diva-110155OAI: diva2:743183
Second International Mathematica Symposium, IMS-97, Rovaniemi Institute of Technology, Rovaniemi, Finland, June 29 - July 4, 1997
Available from: 2014-09-03 Created: 2014-09-03 Last updated: 2014-10-02

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Fritzson, Peter
By organisation
PELAB - Programming Environment LaboratoryThe Institute of Technology
Electrical Engineering, Electronic Engineering, Information Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 28 hits
ReferencesLink to record
Permanent link

Direct link