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 条

[31] SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
VANEMDEN, MH
KOWALSKI, RA
JOURNAL OF THE ACM, 1976, 23 (04) : 733 - 742
[32] Programming Language Semantics with Isabelle/HOL
Martini, Alfio
2013 2ND WORKSHOP-SCHOOL ON THEORETICAL COMPUTER SCIENCE (WEIT), 2013, : 14 - 21
[33] Game Semantics for a Polymorphic Programming Language
Laird, J.
JOURNAL OF THE ACM, 2013, 60 (04)
[34] Semantics of quantum programming language LanQ
Mlnarik, Hynek
INTERNATIONAL JOURNAL OF QUANTUM INFORMATION, 2008, 6 : 733 - 738
[35] On implementations and semantics of a concurrent programming language
Sewell, P
CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 391 - 405
[36] Semantics of persistence in the glib programming language
Libicki, Daniel Gakh
Proc Conf Object Orient Program Syst Lang Appl OOPSLA, (645-646):
[37] NONWELLFOUNDED SETS AND PROGRAMMING LANGUAGE SEMANTICS
RUTTEN, JJMM
LECTURE NOTES IN COMPUTER SCIENCE, 1992, 598 : 193 - 206
[38] The Problem of Programming Language Concurrency Semantics
Batty, Mark
Memarian, Kayvan
Nienhuis, Kyndylan
Pichon-Pharabod, Jean
Sewell, Peter
PROGRAMMING LANGUAGES AND SYSTEMS, 2015, 9032 : 283 - 307
[39] Compilation Semantics for a Programming Language with Versions
Tanabe, Yudai
Lubis, Luthfan Anshar
Aotani, Tomoyuki
Masuhara, Hidehiko
PROGRAMMING LANGUAGES AND SYSTEMS, APLAS 2023, 2023, 14405 : 3 - 23
[40] RATIONAL SET OF TREES AND THE ALGEBRAIC SEMANTICS OF LOGIC PROGRAMMING
MARQUEPUCHEU, G
ACTA INFORMATICA, 1983, 20 (03) : 249 - 260

← 1 2 3 4 5 →