Sciweavers

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

4

DAGSTUHL
2008

favoriteEmaildiscussreport

89views Software Engineering» more DAGSTUHL 2008»

08061 Abstracts Collection -- Types, Logics and Semantics for State

13 years 6 months ago

08061 Abstracts Collection -- Types, Logics and Semantics for State

Download drops.dagstuhl.de

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr

Real-time Traffic

DAGSTUHL 2008 | Software Engineering |

claim paper

Related Content

» 08061 Executive Summary Types Logics and Semantics for State

» Type Class Polymorphism in an Institutional Framework

» Logicflow analysis of higherorder programs

» A practical type system and language for reference immutability

» Multidimensional Dynamic Knowledge Representation

» The impact of higherorder state and control effects on local relational reasoning

» Introspective pushdown analysis of higherorder programs

» A Simple Modal Logic for Reasoning about Revealed Beliefs

» Model Checking Real Time Java Using Java PathFinder

Post Info
More Details (n/a)

Added	29 Oct 2010
Updated	29 Oct 2010
Type	Conference
Year	2008
Where	DAGSTUHL
Authors	Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morrisett

Comments (0)