Game semantics & abstract machines

被引：0

作者：

Danos, V. ^{[1
]}

Herbelin, H. ^{[1
]}

Regnier, L. ^{[1
]}

机构：

[1] CNRS-Universite Paris 7, Paris, France

来源：

Proceedings - Symposium on Logic in Computer Science | 1996年

关键词：

D O I：

Proceedings of the 1996 11th Annual IEEE Symposium on Logic in Computer Science, LICS'96

中图分类号：

学科分类号：

摘要：

Computational linguistics

引用

页码：394 / 405

共 50 条

[21] Abstract machines
Raunig, Herald
LOGOS, 2010, (01): : 207 - 215
[22] Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines
Danvy, Olivier
SEMANTICS AND ALGEBRAIC SPECIFICATION: ESSAYS DEDICATED TO PETER D. MOSSES ON THE OCCASION OF HIS 60TH BIRTHDAY, 2009, 5700 : 162 - 185
[23] Refunctionalization of Abstract Abstract Machines Bridging the Gap between Abstract Abstract Machines and Abstract Definitional Interpreters (Functional Pearl)
Wei, Guannan
Decker, James
Rompf, Tiark
PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES, 2018,
[24] MAKING ABSTRACT MACHINES LESS ABSTRACT
HANNAN, J
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 523 : 618 - 635
[25] DECOMPOSING SEMANTICS IN ABSTRACT ARGUMENTATION
Baroni, Pietro
Cerutti, Federico
Giacomin, Massimiliano
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2023, 10 (03):
[26] Decomposing Semantics in Abstract Argumentation
Baroni, Pietro
Cerutti, Federico
Giacomin, Massimiliano
Journal of Applied Logics, 2023, 10 (03): : 341 - 392
[27] Explanation Semantics for Abstract Argumentation
Liao, Beishui
Van der Torre, Leendert
COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2020), 2020, 326 : 271 - 282
[28] A Probabilistic Semantics for Abstract Argumentation
Thimm, Matthias
20TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE (ECAI 2012), 2012, 242 : 750 - 755
[29] Transforming semantics by abstract interpretation
Giacobazzi, R
Mastroeni, I
THEORETICAL COMPUTER SCIENCE, 2005, 337 (1-3) : 1 - 50
[30] Trace Semantics Is Fully Abstract
Nain, Sumit
Vardi, Moshe Y.
24TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2009, : 59 - 68

← 1 2 3 4 5 →