Reasoning About Naming Systems

Mic Bowman; Saumya K. Debray; Larry L. Peterson

doi:10.1145/161468.161471

Reasoning About Naming Systems

Mic Bowman, Saumya K. Debray, Larry L. Peterson

Computer Science

Research output: Contribution to journal › Article › peer-review

171 Scopus citations

Abstract

This paper reasons about naming systems as specialized inference mechanisms, It describes a preference)-zierarch.v that can be used to specify the structure of a naming system�s inference mechanism and defines criteria by which different naming systems can be evaluated, For example, the preference hierarchy allows one to compare naming systems based on how dkcrzmznating they are and to identify the class of names for which a given naming system is sound and complete. A study of several example naming systems demonstrates how the preference hierarchy can be used as a formal tool for designing naming systems.

Original language	English (US)
Pages (from-to)	795-825
Number of pages	31
Journal	ACM Transactions on Programming Languages and Systems (TOPLAS)
Volume	15
Issue number	5
DOIs	https://doi.org/10.1145/161468.161471
State	Published - Jan 11 1993

Keywords

descriptive naming systems
inference mechanisms

ASJC Scopus subject areas

Software

Access to Document

10.1145/161468.161471

Cite this

@article{943657be9b1342dc8505b4f2910d6f69,

title = "Reasoning About Naming Systems",

abstract = "This paper reasons about naming systems as specialized inference mechanisms, It describes a preference)-zierarch.v that can be used to specify the structure of a naming system�s inference mechanism and defines criteria by which different naming systems can be evaluated, For example, the preference hierarchy allows one to compare naming systems based on how dkcrzmznating they are and to identify the class of names for which a given naming system is sound and complete. A study of several example naming systems demonstrates how the preference hierarchy can be used as a formal tool for designing naming systems.",

keywords = "descriptive naming systems, inference mechanisms",

author = "Mic Bowman and Debray, {Saumya K.} and Peterson, {Larry L.}",

year = "1993",

month = jan,

day = "11",

doi = "10.1145/161468.161471",

language = "English (US)",

volume = "15",

pages = "795--825",

journal = "ACM Transactions on Programming Languages and Systems (TOPLAS)",

issn = "0164-0925",

publisher = "Association for Computing Machinery (ACM)",

number = "5",

}

TY - JOUR

T1 - Reasoning About Naming Systems

AU - Bowman, Mic

AU - Debray, Saumya K.

AU - Peterson, Larry L.

PY - 1993/1/11

Y1 - 1993/1/11

N2 - This paper reasons about naming systems as specialized inference mechanisms, It describes a preference)-zierarch.v that can be used to specify the structure of a naming system�s inference mechanism and defines criteria by which different naming systems can be evaluated, For example, the preference hierarchy allows one to compare naming systems based on how dkcrzmznating they are and to identify the class of names for which a given naming system is sound and complete. A study of several example naming systems demonstrates how the preference hierarchy can be used as a formal tool for designing naming systems.

AB - This paper reasons about naming systems as specialized inference mechanisms, It describes a preference)-zierarch.v that can be used to specify the structure of a naming system�s inference mechanism and defines criteria by which different naming systems can be evaluated, For example, the preference hierarchy allows one to compare naming systems based on how dkcrzmznating they are and to identify the class of names for which a given naming system is sound and complete. A study of several example naming systems demonstrates how the preference hierarchy can be used as a formal tool for designing naming systems.

KW - descriptive naming systems

KW - inference mechanisms

UR - http://www.scopus.com/inward/record.url?scp=0027695738&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027695738&partnerID=8YFLogxK

U2 - 10.1145/161468.161471

DO - 10.1145/161468.161471

M3 - Article

AN - SCOPUS:0027695738

SN - 0164-0925

VL - 15

SP - 795

EP - 825

JO - ACM Transactions on Programming Languages and Systems (TOPLAS)

JF - ACM Transactions on Programming Languages and Systems (TOPLAS)

IS - 5

ER -

Reasoning About Naming Systems

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this