Institutional Repository

The SECD Machine : An Introduction

Show simple item record Dempster, Robert 2018-05-28T15:12:52Z 2018-05-28T15:12:52Z 1986
dc.identifier.citation Dempster, Robert (1986) The SECD Machine : An Introduction. Quaestiones Informaticae Vol 4 No 1 1986 en
dc.identifier.issn 0254-2757
dc.description.abstract The S(tack), E(nvironment), C(ontrol) and D(ump) machine was invented by Landin (1964) to perform the mechanical evaluation of symbolic expressions. The evaluation of an expression invariably involves the application of an operator to an operand. The concept of an applicative expression (AE) is thus formally introduced and discussed. This is followed by an overview of the SECD machine and a detailed trace of the SECD machine state transformations during the evaluation of an AE on the SECD machine. en
dc.language.iso en en
dc.publisher Computer Society of South Africa (on behalf of SAICSIT) en
dc.title The SECD Machine : An Introduction en
dc.type Article en
dc.description.department School of Computing en

Files in this item

This item appears in the following Collection(s)

Show simple item record

Search UnisaIR


My Account