Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

April 1993


University of Pennsylvania Department of Computer and Information Science Technical Report No. MS-CIS-93-44.


This report contains an overview of concrete data structures, sequential functions and sequential algorithms. We define the notions of concrete data structures and prove the representation theorem. Next, we present the notions of sequential functions and of sequential algorithms, and show how the latter can serve as a model for PCF. Finally, we present the language CDS0, designed as a syntax for concrete data structures and sequential algorithms.



Date Posted: 16 July 2007