Refinement by interpretation in pi-institutions

被引：3
|
作者：
Rodrigues, Cesar J. [1 ]
Martins, Manuel A. [2 ]
Madeira, Alexandre [1 ,2 ,3 ]
Barbosa, Luis S. [1 ]
机构：
[1] Univ Minho, Dept Informat & CCTC, Braga, Portugal
[2] Univ Aveiro, Dep Math, Aveiro, Portugal
[3] Crit Software SA, Coimbra, Portugal
来源：
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE | 2011年 / 55期
关键词：
D O I：
10.4204/EPTCS.55.4
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The paper discusses the role of interpretations, understood as multifunctions that preserve and reflect logical consequence, as refinement witnesses in the general setting of pi-institutions. This leads to a smooth generalization of the "refinement by interpretation" approach, recently introduced by the authors in more specific contexts. As a second, yet related contribution a basis is provided to build up a refinement calculus of structured specifications in and across arbitrary pi-institutions.
引用
收藏
页码：53 / 64
页数：12
相关论文
共 50 条
  • [1] Categorical Abstract Algebraic Logic: Equivalential pi-Institutions
    Voutsadakis, George
    [J]. AUSTRALASIAN JOURNAL OF LOGIC, 2008, 6 : 1 - 24
  • [2] Refinement in hybridised institutions
    Madeira, Alexandre
    Martins, Manuel A.
    Barbosa, Luis S.
    Hennicker, Rolf
    [J]. FORMAL ASPECTS OF COMPUTING, 2015, 27 (02) : 375 - 395
  • [3] Interpretation and institutions
    Sunstein, CR
    Vermeule, A
    [J]. MICHIGAN LAW REVIEW, 2003, 101 (04) : 885 - 951
  • [4] Refinement via interpretation
    Martins, Manuel A.
    Madeira, Alexandre
    Barbosa, L. S.
    [J]. SEFM 2009: SEVENTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, 2009, : 250 - +
  • [5] TIME, INSTITUTIONS, AND INTERPRETATION
    Mcconnell, Michael W.
    [J]. BOSTON UNIVERSITY LAW REVIEW, 2015, 95 (06) : 1745 - 1792
  • [6] MOTIVATIONAL INTERPRETATION OF INSTITUTIONS
    PARK, G
    [J]. CANADIAN REVIEW OF SOCIOLOGY AND ANTHROPOLOGY, 1972, 9 (02): : 134 - &
  • [7] Refinement by Interpretation in a General Setting
    Martins, Manuel A.
    Madeira, Alexandre
    Barbosa, Luis S.
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 259 : 105 - 121
  • [8] INSTITUTIONS OF INTERPRETATION - CONCLUDING REMARKS
    ISER, W
    [J]. NEW LITERARY HISTORY, 1991, 22 (01) : 231 - 239
  • [9] Counterexample driven refinement for abstract interpretation
    Gulavani, Bhargav S.
    Rajamani, Sriram K.
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2006, 3920 : 474 - 488
  • [10] UNDERSTANDING CULTURAL PRODUCTION - INTERPRETATION AND INSTITUTIONS
    不详
    [J]. SOCIAL SCIENCE INFORMATION SUR LES SCIENCES SOCIALES, 1977, 16 (01): : 25 - 26
12345