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