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

^*Corresponding author for this work

University of Oxford

Research output: Contribution to journal › Article › peer-review

23 Scopus citations

Original language	English
Pages (from-to)	75-80
Number of pages	6
Journal	Information Processing Letters
Volume	45
Issue number	2
DOIs	https://doi.org/10.1016/0020-0190(93)90219-Y
State	Published - 26 Feb 1993
Externally published	Yes

Keywords

Formal semantics
algebra
operational semantics
specification-oriented semantics

Access to Document

10.1016/0020-0190(93)90219-Y

Cite this

@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 -

From algebra to operational semantics

Keywords

Access to Document

Other files and links

Cite this