Reasoning About Naming Systems

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

Research output: Contribution to journalArticlepeer-review

168 Scopus citations


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 languageEnglish (US)
Pages (from-to)795-825
Number of pages31
JournalACM Transactions on Programming Languages and Systems (TOPLAS)
Issue number5
StatePublished - Jan 11 1993
Externally publishedYes


  • descriptive naming systems
  • inference mechanisms

ASJC Scopus subject areas

  • Software


Dive into the research topics of 'Reasoning About Naming Systems'. Together they form a unique fingerprint.

Cite this