Verification of Higher-Order Computation: A Game-Semantic Approach

First Author: Ong C

Attributed to: Game semantics, recursion schemes and collapsible pushdown automata: a new approach to the algorithmics of infinite structures funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.1007/978-3-540-78739-6_23

Publication URI: http://dx.doi.org/10.1007/978-3-540-78739-6_23

Type: Book Chapter

Book Title: Programming Languages and Systems - 17th European Symposium on Programming, ESOP 2008, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2008, Budapest, Hungary, March 29-April 6, 2008. Proceedings (2008)

Page Reference: 299-306

ISBN: 978-3-540-78738-9