Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
My Menu
Marked Items 
Alerts
Order History
Saved Items
All
Favorites
    
Book Chapter Printable view
Model Checking Algol-Like Languages Using Game Semantics

Model Checking Algol-Like Languages Using Game Semantics

Book SeriesLecture Notes in Computer Science
PublisherSpringer Berlin / Heidelberg
ISSN0302-9743 (Print) 1611-3349 (Online)
VolumeVolume 2556/2002
BookFST TCS 2002: Foundations of Software Technology and Theoretical Computer Science
DOI10.1007/3-540-36206-1
Copyright2002
ISBN978-3-540-00225-3
DOI10.1007/3-540-36206-1_4
Pages33-36
Subject CollectionComputer Science
SpringerLink DateTuesday, January 01, 2002
Add to marked items

Model Checking Algol-Like Languages Using Game Semantics

C. -H. L. Ong5, 6 Contact Information

(5)  Oxford University Computing Laboratory, Wolfson Building, Parks Road, OX1 3QD Oxford, UK
(6)  School of Computing, National University of Singapore, Singapore
Abstract
We survey a recent development of Game Semantics in a new, algorithmic direction, with a view to applications in computer-assisted verification and program analysis.

Contact Information C. -H. L. Ong
Email: lo@comlab.ox.ac.uk
Fulltext Preview (Small, Large)
Image of the first page of the fulltext

References secured to subscribers.
more options
Find


Export this chapter
Export this chapter as RIS | Text
 
Frequently asked questions | General information on journals and books | Send us your feedback | Impressum | Contact
© Springer. Part of Springer Science+Business Media
Privacy, Disclaimer, Terms and Conditions, © Copyright Information
Remote Address: 38.107.191.106 • Server: mpweb19
HTTP User Agent: CCBot/1.0 (+http://www.commoncrawl.org/bot.html)