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 条

[41] Logic program specialisation
Leuschel, M
PARTIAL EVALUATION: PRACTICE AND THEORY, 1999, 1706 : 155 - 188
[42] A LOGIC GENERATOR PROGRAM
SZABO, J
OKRENT, D
TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1983, 45 : 664 - 665
[43] LOGIC PROGRAM FORMS
YOKOMORI, T
NEW GENERATION COMPUTING, 1986, 4 (03) : 305 - 319
[44] The Logic of "Chinese Program"
Duan, Yuan-Peng
2018 INTERNATIONAL CONFERENCE ON E-COMMERCE AND CONTEMPORARY ECONOMIC DEVELOPMENT (ECED 2018), 2018, : 391 - 394
[45] Behavioral Program Logic
Kamburjan, Eduard
AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS, TABLEAUX 2019, 2019, 11714 : 391 - 408
[46] Logic Program for Authorizations
Bai, Yun
PROCEEDINGS OF WORLD ACADEMY OF SCIENCE, ENGINEERING AND TECHNOLOGY, VOL 19, 2007, 19 : 425 - 429
[47] A Program Logic for Bytecode
Bannwart, Fabian
Mueller, Peter
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 141 (01) : 255 - 273
[48] A program logic for resources
Aspinall, David
Beringer, Lennart
Hofmann, Martin
Loidl, Hans-Wolfgang
Momigliano, Alberto
THEORETICAL COMPUTER SCIENCE, 2007, 389 (03) : 411 - 445
[49] Complete representations in algebraic logic
Hirsch, R
Hodkinson, I
JOURNAL OF SYMBOLIC LOGIC, 1997, 62 (03) : 816 - 847
[50] LOGIC PROGRAM SYNTHESIS
DEVILLE, Y
LAU, KK
JOURNAL OF LOGIC PROGRAMMING, 1994, 20 (1-3): : 321 - 350