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 条
  • [41] Compositional Properties of Sequential Processes
    Zhan, Naijun
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 118 : 111 - 128
  • [42] MJK: A program to calculate observable quantities in electron-atom collisions
    Grum-Grzhimailo, AN
    COMPUTER PHYSICS COMMUNICATIONS, 2003, 152 (01) : 101 - 119
  • [43] Characterization and imaging of compositional variation in tissues
    Kumar, D
    Singh, M
    IEEE TRANSACTIONS ON BIOMEDICAL ENGINEERING, 2003, 50 (08) : 1012 - 1019
  • [44] Characterization of compositional variability in petroleum substances
    Roman-Hubers, Alina T.
    Cordova, Alexandra C.
    Rohde, Arlean M.
    Chiu, Weihsueh A.
    McDonald, Thomas J.
    Wright, Fred A.
    Dodds, James N.
    Baker, Erin S.
    Rusyn, Ivan
    FUEL, 2022, 317
  • [45] Advances in compositional characterization of heavy hydrocarbons
    Marshall, Alan G.
    McKenna, Amy M.
    Mapolelo, Mmilili M.
    Xian, Feng
    Kaiser, Nathan K.
    Quinn, John P.
    Hendrickson, Christopher L.
    Blakney, Greg T.
    Rodgers, Ryan P.
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2009, 238
  • [46] Compositional characterization of a garlic germplasm collection
    不详
    HORTSCIENCE, 2005, 40 (04) : 1039 - 1039
  • [47] Microstructural and compositional characterization of Roman coins
    Calliari, I
    Magrini, M
    Zambon, A
    Guerriero, P
    Martini, R
    X-RAY SPECTROMETRY, 1999, 28 (02) : 86 - 90
  • [48] 1ST-ORDER LOGIC CHARACTERIZATION OF PROGRAM PROPERTIES
    WANG, K
    YUAN, LY
    IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, 1994, 6 (04) : 518 - 533
  • [49] Synthesis and characterization of Fe2-xNixP nanocrystals: Compositional effects on magnetic and catalytic properties
    Mudiyanselage, Asha P. S. B. Hitihami
    Brock, Stephanie L.
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2013, 245
  • [50] Synthesis of Circular Compositional Program Proofs via Abduction
    Li, Boyang
    Dillig, Isil
    Dillig, Thomas
    McMillan, Ken
    Sagiv, Mooly
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2013, 2013, 7795 : 370 - 384
12345