5451 search results - page 37 / 1091 » Typed Operational Semantics |
136
click to vote
RAS
2008
15 years 1 months ago
2008
Task planning for mobile robots usually relies solely on spatial information and on shallow domain knowledge, like labels attached to objects and places. Although spatial informat...
121
Voted
TPHOL
2000
IEEE
15 years 6 months ago
2000
IEEE
We verify within the Coq proof assistant that ML typing is sound with respect to the dynamic semantics. We prove this property in the framework of a big step semantics and also in ...
107
click to vote
BIRTHDAY
2009
Springer
15 years 9 months ago
2009
Springer
We propose a naive version of action semantics that begins with a selection of “transient” and “persistent” facets, each characterized as a partial monoid. Yielders are de...
CADE
2006
Springer
16 years 2 months ago
2006
Springer
