Technical Reports (CIS)

Document Type

Technical Report

Date of this Version

April 1993

Comments

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

Abstract

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.

Share

COinS
 

Date Posted: 16 July 2007