From algebra to operational semantics

He Jifeng; C. A.R. Hoare

doi:10.1016/0020-0190(93)90219-Y

From algebra to operational semantics

He Jifeng^*
, C. A.R. Hoare

^*此作品的通讯作者

University of Oxford

科研成果: 期刊稿件 › 文章 › 同行评审

23 引用（Scopus）

源语言	英语
页（从-至）	75-80
页数	6
期刊	Information Processing Letters
卷	45
期	2
DOI	https://doi.org/10.1016/0020-0190(93)90219-Y
出版状态	已出版 - 26 2月 1993
已对外发布	是

访问文件

10.1016/0020-0190(93)90219-Y

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{f572bd5ba6804b659df0fd0ff7526a80,

title = "From algebra to operational semantics",

keywords = "Formal semantics, algebra, operational semantics, specification-oriented semantics",

author = "He Jifeng and Hoare, \{C. A.R.\}",

year = "1993",

month = feb,

day = "26",

doi = "10.1016/0020-0190(93)90219-Y",

language = "英语",

volume = "45",

pages = "75--80",

journal = "Information Processing Letters",

issn = "0020-0190",

publisher = "Elsevier B.V.",

number = "2",

}

TY - JOUR

T1 - From algebra to operational semantics

AU - Jifeng, He

AU - Hoare, C. A.R.

PY - 1993/2/26

Y1 - 1993/2/26

KW - Formal semantics

KW - algebra

KW - operational semantics

KW - specification-oriented semantics

UR - https://www.scopus.com/pages/publications/0027539396

U2 - 10.1016/0020-0190(93)90219-Y

DO - 10.1016/0020-0190(93)90219-Y

M3 - 文章

AN - SCOPUS:0027539396

SN - 0020-0190

VL - 45

SP - 75

EP - 80

JO - Information Processing Letters

JF - Information Processing Letters

IS - 2

ER -