A weakest precondition semantics for refinement of object-oriented programs

Ana Cavalcanti

doi:10.1109/32.879810

2000-01-01

PRE

Ana Cavalcanti *

David A. Naumann

DOI：10.1109/32.879810

原文链接

原文求助

摘要

En 中文

We define a predicate-transformer semantics for an object-oriented language that includes specification constructs from refinement calculi. The language includes recursive classes, visibility control, dynamic binding, and recursive methods. Using the semantics, we formulate notions of refinement. Such results are a first step toward a refinement calculus.

Keyword:

refinement calculi

semantic models

object-orientation

verification

AI总结

对已上传原文的论文进行重点信息的提取，主要内容包括：简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering

IF:

5.6

论文数:

2.8K

被引数:

1.1W

机构

暂无机构信息

引用论文

Magnetohydrodynamic Ferro-Nano fluid flow in a semi-porous curved tube under the effect of hall current and nonlinear thermal radiative

Journal of Magnetism and Magnetic Materials

IF0

2019-03-01

PREAI

Mohamed S. Abdel-wahed

Nanoparticles shape effects on peristaltic transport of nanofluids in presence of magnetohydrodynamics

Microsystem Technologies

IF0

2018-07-05

PREAI

Noreen Sher Akbar; A. Bintul Huda; Muhammad Bilal Habib; D. Tripathi

Structural Basis for Blocking Sugar Uptake into the Malaria Parasite Plasmodium falciparum

Cell

IF0

2020-10-01

OAAI

Xin Jiang; Yafei Yuan; Jian Huang; Shuo Zhang; Shuchen Luo; Nan Wang; Debing Pu; Na Zhao; Qingxuan Tang; Kunio Hirata; Xikang Yang; Yaqing Jiao; Tomoyo Sakata-Kato; Jia-Wei Wu; Chuangye Yan; Nobutaka Kato; Hang Yin; Nieng Yan

Versatile Synthetic Route to Cycloheximide and Analogues That Potently Inhibit Translation Elongation

Angewandte Chemie

IF0

2019-03-18

PREAI

Yongho Park; Yumi Koga; Cindy Su; Amanda L. Waterbury; Christopher L. Johnny; Brian B. Liau

IF0

PREAI

Hygrothermal Analysis of Mineral Wool Insulated Building Constructions Based on <i>In Situ</i> Measurements

Applied Mechanics and Materials

IF0

2019-01-25