Skip to main content


eCommons@Cornell

eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >

Please use this identifier to cite or link to this item: http://hdl.handle.net/1813/5982
Title: Program Schemes with Pushdown Stores
Authors: Brown, Steven
Gries, David
Szymanski, Thomas G.
Keywords: computer science
technical report
Issue Date: Apr-1972
Publisher: Cornell University
Citation: http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR72-126
Abstract: We attempt to characterize classes of schemes allowing pushdown stores, building on an earlier work by Constable and Gries [1]. We study the effect (on the computational power) of aloowing one, two, or more pushdown stores, both with and without the ability to detect when a pds is empty. A main result is that the use of using one pds is empty. A main result is that the use of using one pds is computationally equivalent to allowing recursive functions. We also study the effect of adding the ability to do integer arithmetic, and multi-dimensional arrays. Keywords: Program schemes, schemata, pushdown stores, stacks, recursion, programming languages.
URI: http://hdl.handle.net/1813/5982
Appears in Collections:Computer Science Technical Reports

Files in This Item:

File Description SizeFormat
72-126.pdf2.99 MBAdobe PDFView/Open
72-126.ps702.99 kBPostscriptView/Open

Refworks Export

Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.

 

© 2014 Cornell University Library Contact Us