Thesis icon

Thesis

Game semantics based equivalence checking of higher-order programs

Abstract:

This thesis examines the use of game semantics for the automatic equivalence checking of higher-order programs. Game semantics has proved to be a powerful method for constructing fully abstract models of logics and programming languages. Furthermore, the concrete nature of the semantics lends itself to algorithmic analysis. The game-semantic model can be used to identify fragments of languages which have a decidable observational equivalence problem. We investigate decidability result...

Expand abstract

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
St Hugh's College
Role:
Author

Contributors

Role:
Supervisor
Role:
Supervisor
More from this funder
Funding agency for:
Hopkins, D
Publication date:
2012
Type of award:
DPhil
Level of award:
Doctoral
Awarding institution:
Oxford University, UK
Language:
English
Keywords:
Subjects:
UUID:
uuid:bd68eb38-4159-475f-9a3c-0d6b9de7155a
Local pid:
ora:7620
Deposit date:
2013-12-05

Terms of use


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP