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 条

[41] Principles of abstract machines
Diehl, S
Hartel, PH
Sestoft, P
FUTURE GENERATION COMPUTER SYSTEMS, 2000, 16 (07) : V - VI
[42] COMPOSED ABSTRACT MACHINES
WINKOWSKI, J
BULLETIN DE L ACADEMIE POLONAISE DES SCIENCES-SERIE DES SCIENCES MATHEMATIQUES ASTRONOMIQUES ET PHYSIQUES, 1972, 20 (05): : 407 - +
[43] Distilling Abstract Machines
Accattoli, Beniamino
Barenbaum, Pablo
Mazza, Damiano
ICFP'14: PROCEEDINGS OF THE 2014 ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING, 2014, : 363 - 376
[44] ABSTRACT CRYPTOGRAPHIC MACHINES
ECKER, A
ANGEWANDTE INFORMATIK, 1975, (05): : 201 - 205
[45] PLAYING WITH ABSTRACT MACHINES
PIOTROWSKI, JA
COMPUTERS & EDUCATION, 1991, 17 (03) : 181 - 193
[46] Crumbling Abstract Machines
Accattoli, Beniamino
Condoluci, Andrea
Guerrieri, Giulio
Coen, Claudio Sacerdoti
PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), 2019,
[47] Abstracting Abstract Machines
Van Horn, David
Might, Matthew
ACM SIGPLAN NOTICES, 2010, 45 (09) : 51 - 62
[48] Game semantics and subtyping
Chroboczek, J
15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 192 - 203
[49] Probabilistic game semantics
Danos, V
Harmer, R
15TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2000, : 204 - 213
[50] Dynamic game semantics
Janasik, T
Sandu, G
MEANING: THE DYNAMIC TURN, 2003, 12 : 215 - 240