A Pure And Really Simple Initial Functional Algebraic Language

John P Fitch; Julian A Padget

doi:10.1007/BFb0032823

A Pure And Really Simple Initial Functional Algebraic Language

Department of Computer Science

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Abstract

A medium sized algebra system supporting rational functions and some elementary functions, which is written in the purely functional subset of LISP is described. This is used to investigate the practicability of writing systems in a no-side effect, no property list, pure style. In addition, using the experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.

Original language	English
Title of host publication	EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984
Editors	J P Fitch
Place of Publication	Heidelberg
Publisher	Springer
Pages	148-158
Number of pages	11
Edition	174
DOIs	https://doi.org/10.1007/BFb0032823
Publication status	Published - 1984
Event	Proceedings of EUROSAM 84 - Duration: 1 Jan 1984 → …

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer Verlag

Conference

Conference	Proceedings of EUROSAM 84
Period	1/01/84 → …

Access to Document

10.1007/BFb0032823

Cite this

A Pure And Really Simple Initial Functional Algebraic Language. / Fitch, John P; Padget, Julian A.
EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984. ed. / J P Fitch. 174. ed. Heidelberg: Springer, 1984. p. 148-158 (Lecture Notes in Computer Science).

Research output: Chapter or section in a book/report/conference proceeding › Chapter in a published conference proceeding

Fitch, JP & Padget, JA 1984, A Pure And Really Simple Initial Functional Algebraic Language. in JP Fitch (ed.), EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984. 174 edn, Lecture Notes in Computer Science, Springer, Heidelberg, pp. 148-158, Proceedings of EUROSAM 84, 1/01/84. https://doi.org/10.1007/BFb0032823

@inproceedings{36c95bd90490416bb809f9ec728ac3f0,

title = "A Pure And Really Simple Initial Functional Algebraic Language",

abstract = "A medium sized algebra system supporting rational functions and some elementary functions, which is written in the purely functional subset of LISP is described. This is used to investigate the practicability of writing systems in a no-side effect, no property list, pure style. In addition, using the experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.",

author = "Fitch, {John P} and Padget, {Julian A}",

year = "1984",

doi = "10.1007/BFb0032823",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "148--158",

editor = "Fitch, {J P}",

booktitle = "EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984",

edition = "174",

note = "Proceedings of EUROSAM 84 ; Conference date: 01-01-1984",

}

TY - GEN

T1 - A Pure And Really Simple Initial Functional Algebraic Language

AU - Fitch, John P

AU - Padget, Julian A

PY - 1984

Y1 - 1984

N2 - A medium sized algebra system supporting rational functions and some elementary functions, which is written in the purely functional subset of LISP is described. This is used to investigate the practicability of writing systems in a no-side effect, no property list, pure style. In addition, using the experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.

AB - A medium sized algebra system supporting rational functions and some elementary functions, which is written in the purely functional subset of LISP is described. This is used to investigate the practicability of writing systems in a no-side effect, no property list, pure style. In addition, using the experimental LISP system in Bath that allows for full environment closures, ways have been discovered in which eager (applicative) evaluation and lazy (normal) evaluation strategies can be applied to computer algebra. The system is demonstrated on some well known sample programs.

UR - http://dx.doi.org/10.1007/BFb0032823

U2 - 10.1007/BFb0032823

DO - 10.1007/BFb0032823

M3 - Chapter in a published conference proceeding

T3 - Lecture Notes in Computer Science

SP - 148

EP - 158

BT - EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984

A2 - Fitch, J P

PB - Springer

CY - Heidelberg

T2 - Proceedings of EUROSAM 84

Y2 - 1 January 1984

ER -

A Pure And Really Simple Initial Functional Algebraic Language

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this