COMPOSITIONAL CHARACTERIZATION OF OBSERVABLE PROGRAM PROPERTIES

被引：1
|
作者：
STEFFEN, B
JAY, CB
MENDLER, M
机构：
[1] UNIV EDINBURGH,LFCS,EDINBURGH EH8 9YL,MIDLOTHIAN,SCOTLAND
[2] UNIV ERLANGEN NURNBERG,INST COMP AIDED CIRCUIT DESIGN,W-8520 ERLANGEN,GERMANY
来源：
RAIRO-INFORMATIQUE THEORIQUE ET APPLICATIONS-THEORETICAL INFORMATICS AND APPLICATIONS | 1992年 / 26卷 / 05期
关键词：
D O I：
10.1051/ita/1992260504031
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper we model both program behaviours and abstractions between them as lax functors, which generalize abstract interpretations by exploiting the natural ordering of program properties. This generalization provides a framework in which correctness (safety) and completeness of abstract interpretations naturally arise from this order. Furthermore, it supports modular and stepwise refinement: given a program behaviour, its characterization, which is a "best" correct and complete denotational semantics for it, can be determined in a compositional way.
引用
收藏
页码：403 / 424
页数：22
相关论文
共 50 条
  • [21] Protoquasars: Physical states and observable properties
    Kawakatu, N
    Umemura, M
    Mori, M
    ASTROPHYSICAL JOURNAL, 2003, 583 (01): : 85 - 91
  • [22] Variation in Juvenile Long Bone Properties as a Function of Age: Mechanical and Compositional Characterization
    Vazquez Sanz, Claudia
    Rodriguez, Ignacio
    Forriol, Francisco
    Tejado, Elena
    Lopez-Valdes, Francisco J.
    MATERIALS, 2023, 16 (04)
  • [23] Characterization of the volumetric properties of betaine in aqueous solutions: Compositional, pressure, and temperature dependence
    Makarov, Dmitriy M.
    Egorov, Gennadiy I.
    Fadeeva, Yulia A.
    Kolker, Arkadiy M.
    THERMOCHIMICA ACTA, 2014, 585 : 36 - 44
  • [24] Compositional properties of passivity
    Kerber, Florian
    van der Schaft, Arjan
    2011 50TH IEEE CONFERENCE ON DECISION AND CONTROL AND EUROPEAN CONTROL CONFERENCE (CDC-ECC), 2011, : 4628 - 4633
  • [25] Compositional Properties of Alignments
    Sarah J. Berkemer
    Christian Höner zu Siederdissen
    Peter F. Stadler
    Mathematics in Computer Science, 2021, 15 : 609 - 630
  • [26] Compositional Properties of Alignments
    Berkemer, Sarah J.
    Honer zu Siederdissen, Christian
    Stadler, Peter F.
    MATHEMATICS IN COMPUTER SCIENCE, 2021, 15 (04) : 609 - 630
  • [27] COMPOSITIONAL CHARACTERIZATION OF PRUNE JUICE
    VANGORSEL, H
    LI, CY
    KERBEL, EL
    SMITS, M
    KADER, AA
    JOURNAL OF AGRICULTURAL AND FOOD CHEMISTRY, 1992, 40 (05) : 784 - 789
  • [28] Compositional characterization of cottonseed soapstocks
    Dowd, MK
    JOURNAL OF THE AMERICAN OIL CHEMISTS SOCIETY, 1996, 73 (10) : 1287 - 1295
  • [29] CHARACTERIZATION OF COPOLYMER COMPOSITIONAL POLYDISPERSITY
    TURCSANYI, B
    JOURNAL OF MACROMOLECULAR SCIENCE-PURE AND APPLIED CHEMISTRY, 1993, A30 : 281 - 286
  • [30] Compositional characterization of cottonseed soapstocks
    Dowd, Michael K.
    JAOCS, Journal of the American Oil Chemists' Society, 1996, 73 (10): : 1287 - 1295
12345