9 search results - page 1 / 2 » 08061 Executive Summary -- Types, Logics and Semantics for S... |
DAGSTUHL
2008
13 years 6 months ago
2008
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 ...
DAGSTUHL
2008
13 years 6 months ago
2008
FUZZIEEE
2007
IEEE
13 years 11 months ago
2007
IEEE
— A trend is emerging in the fields of ambient intelligence (AmI) and autonomous robotics, which points in the direction of a merger between these two fields. The inclusion of ...
ICFP
2010
ACM
13 years 4 months ago
2010
ACM
Most current techniques fail to achieve the dynamic update of recursive functions. A focus on execution states appears to be essential in order to implement dynamic update in this...
CADE
2006
Springer
14 years 5 months ago
2006
Springer
We introduce a dynamic logic that is enriched by non-rigid functions, i.e., functions that may change their value from state to state (during program execution), and we present a (...