Algebraic Semantics of an Imperative Programming Language

被引：0

作者：

A. V. Zamulin

机构：

[1] Ershov Institute of Information Systems,Siberian Division, Russian Academy of Sciences

来源：

Programming and Computer Software | 2003年 / 29卷

关键词：

Operating System; Artificial Intelligence; Algebraic Semantic; Imperative Programming;

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

下载

页码：328 / 337

页数：9

共 50 条

[1] Algebraic semantics of an imperative programming language
Zamulin, AV
PROGRAMMING AND COMPUTER SOFTWARE, 2003, 29 (06) : 328 - 337
[2] THE PARTIAL CORRECTNESS SEMANTICS OF IMPERATIVE FUZZY PROGRAMMING LANGUAGE
Wu, Hengyang
Chen, Yixiang
QUANTITATIVE LOGIC AND SOFT COMPUTING, 2012, 5 : 223 - 230
[3] ALGEBRAIC OF SEMANTICS OF ALGOL-LIKE PROGRAMMING LANGUAGE
KOTT, L
RAIRO-INFORMATIQUE THEORIQUE-THEORETICAL COMPUTER SCIENCE, 1977, 11 (03): : 237 - 263
[4] An abstract compiler model as a result of the algebraic semantics of a programming language
Zamulin, A.V.
Programmirovanie, 2004, (05): : 69 - 80
[5] An abstract compiler model as a result of the algebraic semantics of a programming language
Zamulin, AV
PROGRAMMING AND COMPUTER SOFTWARE, 2004, 30 (05) : 295 - 302
[6] An Abstract Compiler Model as a Result of the Algebraic Semantics of a Programming Language
A. V. Zamulin
Programming and Computer Software, 2004, 30 : 295 - 302
[7] Approximating the algebraic relational semantics of imperative programs
Colón, MA
STATIC ANALYSIS, PROCEEDINGS, 2004, 3148 : 296 - 311
[8] COALGEBRAIC OPERATIONAL SEMANTICS FOR AN IMPERATIVE LANGUAGE
Steingartner, William
Novitzka, Valerie
Schreiner, Wolfgang
COMPUTING AND INFORMATICS, 2019, 38 (05) : 1181 - 1209
[9] AN IMPLEMENTATION OF A TRANSLATIONAL SEMANTICS FOR AN IMPERATIVE LANGUAGE
FREDLUND, LA
JONSSON, B
PARROW, JC
LECTURE NOTES IN COMPUTER SCIENCE, 1990, 458 : 246 - 262
[10] Programming language semantics
Schmidt, DA
ACM COMPUTING SURVEYS, 1996, 28 (01) : 265 - 267

← 1 2 3 4 5 →