A Pure And Really Simple Initial Functional Algebraic Language

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.
LanguageEnglish
Title of host publicationEUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984
EditorsJ P Fitch
Place of PublicationHeidelberg
PublisherSpringer
Pages148-158
Number of pages11
Edition174
DOIs
StatusPublished - 1984
EventProceedings of EUROSAM 84 -
Duration: 1 Jan 1984 → …

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Verlag

Conference

ConferenceProceedings of EUROSAM 84
Period1/01/84 → …

Fingerprint

LISP (programming language)
algebra
rational functions
evaluation
lists
closures
set theory
baths

Cite this

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

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 in Book/Report/Conference proceedingConference contribution

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. DOI: 10.1007/BFb0032823
Fitch JP, Padget JA. A Pure And Really Simple Initial Functional Algebraic Language. In Fitch JP, editor, EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984. 174 ed. Heidelberg: Springer. 1984. p. 148-158. (Lecture Notes in Computer Science). Available from, DOI: 10.1007/BFb0032823
Fitch, John P ; Padget, Julian A. / A Pure And Really Simple Initial Functional Algebraic Language. EUROSAM 84 International Symposium on Symbolic and Algebraic Computation Cambridge, England, July 9–11, 1984. editor / J P Fitch. 174. ed. Heidelberg : Springer, 1984. pp. 148-158 (Lecture Notes in Computer Science).
@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",

}

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 - Conference contribution

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

PB - Springer

CY - Heidelberg

ER -