REASONING ABOUT NAMING SYSTEMS

被引：60
|
作者：
BOWMAN, M
DEBRAY, SK
PETERSON, LL
机构：
[1] UNIV ARIZONA,DEPT COMP SCI,TUCSON,AZ 85721
[2] PENN STATE UNIV,UNIV PK,PA 16802
来源：
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | 1993年 / 15卷 / 05期
关键词：
DESIGN; THEORY; DESCRIPTIVE NAMING SYSTEMS; INFERENCE MECHANISMS;
D O I：
10.1145/161468.161471
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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.
引用
收藏
页码：795 / 825
页数：31
相关论文
共 50 条
  • [1] Reasoning about quantum systems
    Mateus, P
    Sernadas, A
    [J]. LOGICS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2004, 3229 : 239 - 251
  • [2] REASONING ABOUT CONTINUOUS SYSTEMS
    CHANDY, KM
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 1990, 14 (2-3) : 117 - 132
  • [3] Reasoning about interactive systems
    Back, R
    Mikhajlova, A
    von Wright, J
    [J]. FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1460 - 1476
  • [4] Reasoning about Normative Systems
    van der Hoek, Wiebe
    [J]. LEGAL KNOWLEDGE AND INFORMATION SYSTEMS, 2010, 223 : 3 - 3
  • [5] REASONING ABOUT INTERACTIVE SYSTEMS
    AMBRIOLA, V
    NOTKIN, D
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1988, 14 (02) : 272 - 276
  • [6] Reasoning about Ecological Systems
    Zimmerman, Corinne
    Tobin, Renee M.
    Cossey, Andrea
    [J]. PROCEEDINGS OF THE TWENTY-SIXTH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 2004, : 1661 - 1661
  • [7] Reasoning about linear systems
    Arthan, Rob
    Martin, Ursula
    Mathiesen, Erik Arne
    Oliva, Paulo
    [J]. SEFM 2007: FIFTH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2007, : 123 - +
  • [8] Reasoning about Distributed Reconfigurable Systems
    Ahrens, Emma
    Bozga, Marius
    Iosif, Radu
    Katoen, Joost-Pieter
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (OOPSLA):
  • [9] Tableau systems for reasoning about risk
    Cristani, Matteo
    Karafili, Erisa
    Vigano, Luca
    [J]. JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, 2014, 5 (02) : 215 - 247
  • [10] Tableau systems for reasoning about risk
    Matteo Cristani
    Erisa Karafili
    Luca Viganò
    [J]. Journal of Ambient Intelligence and Humanized Computing, 2014, 5 : 215 - 247
12345