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 条
  • [1] Game semantics & abstract machines
    Danos, V
    Herbelin, H
    Regnier, L
    11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, : 394 - 405
  • [2] Abstract machines for game semantics, revisited
    Fredriksson, Olle
    Ghica, Dan R.
    2013 28TH ANNUAL IEEE/ACM SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2013, : 560 - 569
  • [3] Certified Abstract Machines for Skeletal Semantics
    Ambal, Guillaume
    Lenglet, Serguei
    Schmitt, Alan
    PROCEEDINGS OF THE 11TH ACM SIGPLAN INTERNATIONAL CONFERENCE ON CERTIFIED PROGRAMS AND PROOFS (CPP '22), 2022, : 55 - 67
  • [4] From natural semantics to abstract machines
    Ager, MS
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2005, 3573 : 245 - 261
  • [5] A fully abstract game semantics for general references
    Abramsky, S
    Honda, K
    McCusker, G
    THIRTEENTH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1998, : 334 - 344
  • [6] Fully abstract game semantics for finite nondeterminism
    Imperial Coll, London, United Kingdom
    Proc Symp Logic Comput Sci, (422-430):
  • [7] A fully abstract game semantics of local exceptions
    Laird, J
    16TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2001, : 105 - 114
  • [8] Parallelism versus nondeterminism - On the semantics of abstract state machines
    Schulte, W
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 425 - 425
  • [9] A Discussion Game for the Grounded Semantics of Abstract Dialectical Frameworks
    Keshavarzi Zafarghandi, Atefeh
    Verbrugge, Rineke
    Verheij, Bart
    COMPUTATIONAL MODELS OF ARGUMENT (COMMA 2020), 2020, 326 : 431 - 442
  • [10] A framework for Modeling the semantics of expression evaluation with abstract state machines
    Zimmermann, W
    Dold, A
    ABSTRACT STATE MACHINES 2003: ADVANCES IN THEORY AND PRACTIC, PROCEEDINGS, 2003, 2589 : 391 - 406
12345