Game semantics & abstract machines

被引：0

作者：

Danos, V. ^{[1
]}

Herbelin, H. ^{[1
]}

Regnier, L. ^{[1
]}

机构：

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

来源：

关键词：

D O I：

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

中图分类号：

学科分类号：

摘要：

Computational linguistics

引用

页码：394 / 405

共 50 条

[31] The Semantics of Abstract Program Slicing
Zanardini, Damiano
EIGHTH IEEE INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION, PROCEEDINGS, 2008, : 89 - 98
[32] Abstract Semantics by Observable Contexts
Bonchi, Filippo
GRAPH TRANSFORMATIONS, ICGT 2008, 2008, 5214 : 478 - 480
[33] Abstract interpretation of probabilistic semantics
Monniaux, D
STATIC ANALYSIS, 2000, 1824 : 322 - 339
[34] Serialisable Semantics for Abstract Argumentation
Bengel, Lars
Thimm, Matthias
COMPUTATIONAL MODELS OF ARGUMENT, COMMA 2022, 2022, 353 : 80 - 91
[35] Distilling Abstract Machines
Accattoli, Beniamino
Barenbaum, Pablo
Mazza, Damiano
ACM SIGPLAN NOTICES, 2014, 49 (09) : 363 - 376
[36] INTERACTING ABSTRACT MACHINES
WINKOWSKI, J
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (02): : 181 - +
[37] CONCURRENT ABSTRACT MACHINES
BERRY, G
LECTURE NOTES IN COMPUTER SCIENCE, 1991, 494 : 49 - 49
[38] Abstract parallel machines
O'Donnell, J
Rünger, G
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 2000, 19 (02): : 105 - 129
[39] Abstracting Abstract Machines
Van Horn, David
Might, Matthew
ICFP 2010: PROCEEDINGS OF THE 2010 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2010, : 51 - 62
[40] Abstract λ-Calculus Machines
Kluge, Werner E.
CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL, 2008, 5161 : 112 - 157