Sciweavers

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

11

CSL
2007
Springer

favoriteEmaildiscussreport

91views Automated Reasoning» more CSL 2007»

Bad Variables Under Control

13 years 11 months ago

Bad Variables Under Control

Download www.comlab.ox.ac.uk

We give a fully abstract game model for Idealized Algol with non-local control ﬂow. In contrast to most previous papers on game semantics, we do not need to include the bad-variable constructor mkvar n full abstraction. Using the model we show that, unlike in the “control-free” case, the presence of mkvar does aﬀect observational equivalence. We conclude by discussing the eﬀect of mkvar on nondeterministic and probabilistic variants of Idealized Algol.

Andrzej S. Murawski

Real-time Traffic

Abstract Game Model | CSL 2007 | Idealized Algol | Non-local Control |

claim paper

Related Content

» QCop Avoiding Bad Query Mixes to Minimize Client Timeouts Under Heavy Loads

» WindowBased and RateBased Congestion Controls a Local Stability Analysis under Variable RT...

» Bouncer securing software by blocking bad input

» Implementation of an Internetcontrolled system under variable delays

» A novel property of the secondorder modes of discretetime systems under variable transform...

» Behavior of finite population variable length genetic algorithms under random selection

» How Good are Convex Hull Algorithms

» A Controller Design Method Under Infrequent Asynchronous Sensing

» P2PTV Systems under Adverse Network Conditions A Measurement Study

Post Info
More Details (n/a)

Added	07 Jun 2010
Updated	07 Jun 2010
Type	Conference
Year	2007
Where	CSL
Authors	Andrzej S. Murawski

Comments (0)