08061 Executive Summary -- Types, Logics and Semantics for State

13 years 6 months ago

Download drops.dagstuhl.de

From 3 February to 8 February 2008, the Dagstuhl Seminar 08061 State" Conference and Research Center (IBFI), Schloss Dagstuhl. 45 researchers, with interests and expertise in many different aspects of modelling and reasoning about mutable state, met to present their current work and discuss ongoing projects and open problems. Keywords. Mutable State, Program Logics, Semantics, Type Systems, Program Analysis

Amal Ahmed, Nick Benton, Martin Hofmann, Greg Morr

Real-time Traffic

DAGSTUHL 2008 | Discuss Ongoing Projects | Mutable State | Seminar 08061 State | Software Engineering |

claim paper

» Monitoring the State of a Ubiquitous Robotic System A Fuzzy Logic Approach

» ReCaml execution state as the cornerstone of reconfigurations

» Dynamic Logic with Nonrigid Functions

» Towards typetheoretic semantics for transactional concurrency

» An Integration of HOL and ACL2

» Scalable and Parallel Reasoning in the Semantic Web

» 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)

Sciweavers

08061 Executive Summary -- Types, Logics and Semantics for State

DAGSTUHL 2008 | Discuss Ongoing Projects | Mutable State | Seminar 08061 State | Software Engineering |

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers