Sciweavers

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

42

AMSTERDAM
2009

favoriteEmaildiscussreport

193views Logical Reasoning» more AMSTERDAM 2009»

Restricting and Embedding Imperatives

13 years 8 months ago

Restricting and Embedding Imperatives

Download www-personal.umich.edu

Abstract. We use imperatives to refute a na

Nate Charlow

Real-time Traffic

AMSTERDAM 2009 | Analysis | Conditional Imperatives | Imperative Force | Logical Reasoning |

claim paper

Related Content

» Relaxing the Value Restriction

» Static Analysis to Enforce Safe Value Flow in Embedded Control Systems

» Embedding Imperative Synchronous Languages in Interactive Theorem Provers

» Imperative Program Transformation by Rewriting

» Imperative Functional Programming with IsabelleHOL

» Secure Information Flow in a MultiThreaded Imperative Language

» Functional translation of a calculus of capabilities

» Education and the social Web Connective learning and the commercial imperative

» Relating declarative hypermedia objects and imperative objects through the NCL glue langua...

Post Info
More Details (n/a)

Added	16 Feb 2011
Updated	16 Feb 2011
Type	Journal
Year	2009
Where	AMSTERDAM
Authors	Nate Charlow

Comments (0)