Reasoning about naming systems

Research output: Contribution to journalArticle

145 Citations (Scopus)

Abstract

This paper reasons about naming systems as specialized inference mechanisms. It describes a preference hierarchy 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 discriminating 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 languageEnglish (US)
Pages (from-to)795-825
Number of pages31
JournalACM Transactions on Programming Languages and Systems
Volume15
Issue number5
DOIs
StatePublished - Nov 1993

Fingerprint

Acoustic waves

ASJC Scopus subject areas

  • Computer Graphics and Computer-Aided Design
  • Software

Cite this

Reasoning about naming systems. / Bowman, Mic; Debray, Saumya K; Peterson, Larry Lee.

In: ACM Transactions on Programming Languages and Systems, Vol. 15, No. 5, 11.1993, p. 795-825.

Research output: Contribution to journalArticle

@article{943657be9b1342dc8505b4f2910d6f69,
title = "Reasoning about naming systems",
abstract = "This paper reasons about naming systems as specialized inference mechanisms. It describes a preference hierarchy 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 discriminating 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.",
author = "Mic Bowman and Debray, {Saumya K} and Peterson, {Larry Lee}",
year = "1993",
month = "11",
doi = "10.1145/161468.161471",
language = "English (US)",
volume = "15",
pages = "795--825",
journal = "ACM Transactions on Programming Languages and Systems",
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 Lee

PY - 1993/11

Y1 - 1993/11

N2 - This paper reasons about naming systems as specialized inference mechanisms. It describes a preference hierarchy 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 discriminating 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 hierarchy 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 discriminating 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.

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

VL - 15

SP - 795

EP - 825

JO - ACM Transactions on Programming Languages and Systems

JF - ACM Transactions on Programming Languages and Systems

SN - 0164-0925

IS - 5

ER -