Staff View
Programming language data structures: a comparative study

Descriptive

Language
LanguageTerm (authority = ISO 639-3:2007); (type = text)
English
Genre (authority = RULIB-FS)
Other
Genre (authority = marcgt)
technical report
PhysicalDescription
InternetMediaType
application/pdf
Extent
1 online resource (17 pages)
Note (type = special display note)
Technical report DCS-TR-30
Name (type = corporate); (authority = RutgersOrg-School)
NamePart
School of Arts and Sciences (SAS) (New Brunswick)
Name (type = corporate); (authority = RutgersOrg-Department)
NamePart
Computer Science (New Brunswick)
TypeOfResource
Text
TitleInfo
Title
Programming language data structures: a comparative study
Abstract (type = abstract)
Recently, Scott and Strachey [7,8] developed a mathematical semantics for programming languages. In their theory a program is viewed as a function on the set of states of the computation. To identify the function associated with a program via the semantics, two additional functions are defined, the environment function and the store function. In order that these two functions are well-defined, one must specify their domains and ranges; Strachey [9] proposed that a study of these two functions and their domains and ranges would reveal the basic structure of a language and clarify underlying differences between languages. He carried out such a study for Algol 60 and PAL.

In this report we follow Strachey's approach and specify the domain and range structure of the two functions for Algol 60, Fortran IV, and SNOBOL4. The following section contains the definitions of the basic functions, domains, and ranges from the general theory. In section 3 the domain and range structure is given for each of the three languages. In the last section we compare the domain and range structure of the three languages and close with a discussion of the utility of this approach to characterizing programming languages.
Name (type = personal)
NamePart (type = family)
Othmer
NamePart (type = given)
Bobbie Ann
Affiliation
Computer Science (New Brunswick)
Role
RoleTerm (type = text); (authority = marcrt)
author
OriginInfo
DateCreated (encoding = w3cdtf); (qualifier = exact); (keyDate = yes)
1974-03
RelatedItem (type = host)
TitleInfo
Title
Computer Science (New Brunswick)
Identifier (type = local)
rucore21032500001
Location
PhysicalLocation (authority = marcorg); (displayLabel = Rutgers, The State University of New Jersey)
NjNbRU
Identifier (type = doi)
doi:10.7282/t3-z9kh-sp02
Back to the top

Rights

RightsDeclaration (AUTHORITY = rightsstatements.org); (TYPE = IN COPYRIGHT); (ID = http://rightsstatements.org/vocab/InC/1.0/)
This Item is protected by copyright and/or related rights.You are free to use this Item in any way that is permitted by the copyright and related rights legislation that applies to your use.For other uses you need to obtain permission from the rights-holder(s).
Copyright
Status
Copyright protected
Availability
Status
Open
Reason
Permission or license
Back to the top

Technical

RULTechMD (ID = TECHNICAL1)
ContentModel
Document
Back to the top
Version 8.3.13
Rutgers University Libraries - Copyright ©2020