Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

71

APAL
2008

56views more APAL 2008»

A game semantics of names and pointers

15 years 3 months ago

A game semantics of names and pointers

Download www.cogs.susx.ac.uk

James Laird

Real-time Traffic

APAL 2008 |

claim paper

Related Content

» A Game Semantics of Local Names and Good Variables

» Game semantics for firstorder logic

» Blaming the client on data refinement in the presence of pointers

» Game Semantics for HigherOrder Concurrency

» Abstraction of Object Graphs in Program Verification

» LAIR A Language for Automated SemanticsAware Text Sanitization Based on Frame Semantics

» Local Holism

» Audio Feature Extraction and Analysis for Scene Segmentation and Classification

» Transfer Learning in RealTime Strategy Games Using Hybrid CBRRL

Post Info
More Details (n/a)

Added	08 Dec 2010
Updated	08 Dec 2010
Type	Journal
Year	2008
Where	APAL
Authors	James Laird

Comments (0)