The SECD Machine : An Introduction

dc.contributor.author	Dempster, Robert
dc.date.accessioned	2018-05-28T15:12:52Z
dc.date.available	2018-05-28T15:12:52Z
dc.date.issued	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.identifier.uri	http://hdl.handle.net/10500/24128
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