On the design of a mode-based symbolic system

Jenks, Richard D.

doi:10.1145/1088233.1088237

Search citation statements

Order By: Relevance

Paper Sections

Select...

Introduction1

Citation Types

Supporting

Mentioning

Contrasting

Year Published

1979

1981

Publication Types

Select...

Article2

Book1

Relationship

Self Cite1

Independent2

Authors

Journals

Cited by 3 publications

(2 citation statements)

References 7 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It has been realised for some years (Loos[1974], Jenks[1977]) that progress in computer algebra required the development of systems which were able to deal with formal "modes" such as "polynomial" or "matrix".…”

Section: Introductionmentioning

confidence: 99%

Modlisp

Davenport

Jenks

1981

SIGSAM Bull.

Self Cite

View full text Add to dashboard Cite

This paper discusses the design and implementation of MODLISP, a LISP-like language enhanced with the idea of MODes. This extension permits, but does not require, the user to declare the types of various variables, and to compile functions with the arguments declared to be of a particular type. It is possible to declare several functions of the same name, with arguments of different type (e.g. PLUS could be declared for Integer arguments, or Rational, or Real, or even Polynomial arguments) and the system will apply the correct function for the types of the arguments.

show abstract

Section: Introductionmentioning

confidence: 99%

Modlisp

Davenport

Jenks

1981

SIGSAM Bull.

Self Cite

View full text Add to dashboard Cite

show abstract

“…There is also a need for a mode-based compiler [12] for the language providing efficient object code for the compilation of rules as well as for procedural language constructs. Modes are necessary in order that formal mathematical notations can be used to describe programs over various domains, e.g.…”

mentioning

confidence: 99%