user

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 条
  • [41] Frameworks for reasoning about agent based systems
    Osterweil, LJ
    Clarke, LA
    [J]. INFRASTRUCTURE FOR AGENTS, MULTI-AGENT SYSTEMS, AND SCALABLE MULTI-AGENT SYSTEMS, 2001, 1887 : 64 - 71
  • [42] REASONING ABOUT REAL-TIME SYSTEMS
    PETERS, JF
    [J]. AUSTRALIAN COMPUTER JOURNAL, 1993, 25 (04): : 135 - 147
  • [43] A Framework for Prototyping and Reasoning about Distributed Systems
    Aldinucci, Marco
    Danelutto, Marco
    Kilpatrick, Peter
    [J]. PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS, 2008, 15 : 235 - +
  • [44] QUALITATIVE REASONING ABOUT PHYSICAL SYSTEMS - AN INTRODUCTION
    BOBROW, DG
    [J]. ARTIFICIAL INTELLIGENCE, 1984, 24 (1-3) : 1 - 5
  • [45] Reasoning about knowledge in asynchronous distributed systems
    Costa, Vania
    Benevides, Mario
    [J]. LOGIC JOURNAL OF THE IGPL, 2005, 13 (01) : 5 - 28
  • [46] Differential logic for reasoning about hybrid systems
    Platzer, Andre
    [J]. Hybrid Systems: Computation and Control, Proceedings, 2007, 4416 : 746 - 749
  • [47] Proof systems for reasoning about computation errors
    Avron A.
    Konikowska B.
    [J]. Studia Logica, 2009, 91 (2) : 273 - 293
  • [48] Reasoning about layered message passing systems
    Meenakshi, B
    Ramanujam, R
    [J]. VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, 2003, 2575 : 268 - 282
  • [49] Possibilistic Reasoning about Actions in Agent Systems
    Fan, Tuan-Fang
    Liau, Churn-Jung
    [J]. 2018 IEEE 42ND ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), VOL 1, 2018, : 787 - 788
  • [50] Practical reasoning and the act of naming reality
    Macagno, Fabrizio
    Walton, Douglas
    [J]. REVUE INTERNATIONALE DE PHILOSOPHIE, 2018, 72 (286) : 393 - 404
12345