archives

A literate, executable, denotational semantics of simple C++ declarations

Home 

About 

Browse 

Search 

Register 

Subscriptions 

Deposit Papers 

Help
    

Reynolds, Joseph (1993) A literate, executable, denotational semantics of simple C++ declarations. Technical Report TR93-15, Department of Computer Science, Iowa State University.

Full text available as:Postscript
Adobe PDF

Abstract

A literate, executable, denotational semantics of simple C++ declarations
Joseph Reynolds
May 5, 1993
Abstract
Denotational semantics are developed for simple C++ declarations and
are implemented in a functional language using a literate programming
style.




Subjects:All uncategorized technical reports



ID code:00000051


Deposited by:Staff Account on 12 May 1993









Contact site administrator at: ssg@cs.iastate.edu