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 条

[21] Algebraic Framework for Synchronous Language Semantics
Gaffe, Daniel
Ressouche, Annie
2013 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), 2013, : 51 - 58
[22] AN ALGEBRAIC APPROACH TO SEMANTICS OF PROGRAMMING-LANGUAGES
LASTOVETSKY, AL
GAISSARYAN, SS
THEORETICAL COMPUTER SCIENCE, 1994, 135 (02) : 267 - 288
[23] Rule-Based Operational Semantics for an Imperative Language
Kirchner, Florent
Sinot, Francois-Regis
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 174 (01) : 35 - 47
[24] Categorical Model of Structural Operational Semantics for Imperative Language
Steingartner, William
Novitzka, Valerie
JOURNAL OF INFORMATION AND ORGANIZATIONAL SCIENCES, 2016, 40 (02) : 203 - 219
[25] Clean Translation of an Imperative Reversible Programming Language
Axelsen, Holger Bock
COMPILER CONSTRUCTION, 2011, 6601 : 144 - 163
[26] Introducing objects and parallelism to an imperative programming language
Radenski, AA
INFORMATION SCIENCES, 1995, 87 (1-3) : 107 - 122
[27] PLEASE - A LANGUAGE COMBINING IMPERATIVE AND LOGIC PROGRAMMING
TERWILLIGER, RB
SIGPLAN NOTICES, 1988, 23 (04): : 103 - 110
[28] Clean translation of an imperative reversible programming language
DIKU, Dept. of Computer Science, University of Copenhagen, Denmark
Lect. Notes Comput. Sci., 1600, (144-163):
[29] Game Semantics for a Polymorphic Programming Language
Laird, J.
25TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS 2010), 2010, : 41 - 49
[30] SPECIFYING PROGRAMMING LANGUAGE SEMANTICS.
Greif, I.
Meyer, A.
1979, : 180 - 118

← 1 2 3 4 5 →