A sound and complete program logic for eiffel

被引：0
|
作者：
Nordio, Martin [1 ]
Calcagno, Cristiano [2 ]
Müller, Peter [1 ]
Meyer, Bertrand [1 ]
机构：
[1] ETH Zurich, Switzerland
[2] Imperial College, London, United Kingdom
来源：
Lecture Notes in Business Information Processing | 2009年 / 33 LNBIP卷
关键词：
Compendex;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
Object oriented programming
引用
收藏
页码：195 / 214
相关论文
共 50 条
  • [1] A Sound and Complete Program Logic for Eiffel
    Nordio, Martin
    Calcagno, Cristiano
    Mueller, Peter
    Meyer, Bertrand
    OBJECTS, COMPONENTS, MODELS AND PATTERNS, PROCEEDINGS, 2009, 33 : 195 - +
  • [2] A sound and complete reified temporal logic
    Zhao, Guoxing
    Ma, Jixin
    Shen, Fuxing
    Petridis, Miltos
    PROCEEDINGS OF NINTH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING, 2008, : 111 - +
  • [3] A Sound and Complete Logic for Algebraic Effects
    Matache, Cristina
    Staton, Sam
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, FOSSACS 2019, 2019, 11425 : 382 - 399
  • [4] A sound and complete fuzzy temporal constraint logic
    Cárdenas-Viedma, MA
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS PART B-CYBERNETICS, 2006, 36 (01): : 223 - 228
  • [5] A SOUND AND COMPLETE AXIOMATIZATION FOR DYNAMIC TOPOLOGICAL LOGIC
    Fernandez-Duque, David
    JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (03) : 947 - 969
  • [6] SOUND INVESTMENT - A COMPLETE EYE PROGRAM
    NOVAK, JF
    ARCHIVES OF ENVIRONMENTAL HEALTH, 1965, 10 (04): : 658 - 662
  • [7] A sound and complete proof system for a unified temporal logic
    Zhao, Liang
    Wang, Xiaobing
    Shu, Xinfeng
    Zhang, Nan
    THEORETICAL COMPUTER SCIENCE, 2020, 838 : 25 - 44
  • [8] A Sound and Complete Axiomatization of Majority-n Logic
    Amaru, Luca
    Gaillardon, Pierre-Emmanuel
    Chattopadhyay, Anupam
    De Micheli, Giovanni
    IEEE TRANSACTIONS ON COMPUTERS, 2016, 65 (09) : 2889 - 2895
  • [9] A Sound and Complete Axiomatic System of bdi-stit Logic
    Semmling, Caroline
    Wansing, Heinrich
    LOGICA YEARBOOK 2008, 2009, : 193 - 210
  • [10] A sound and complete proof theory for the generalized logic of only knowing
    Chen, JH
    JOURNAL OF EXPERIMENTAL & THEORETICAL ARTIFICIAL INTELLIGENCE, 1998, 10 (04) : 421 - 438
12345