A Pure And Really Simple Initial Functional Algebraic Language

John P Fitch, Julian A Padget

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.
Original 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
Publication 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 Dive into the research topics of 'A Pure And Really Simple Initial Functional Algebraic Language'. Together they form a unique fingerprint.

Cite this