202 search results - page 2 / 41 » Logical Mobility and Locality Types |
IFIP
2004
Springer
13 years 11 months ago
2004
Springer
ENGL
2006
13 years 5 months ago
2006
We develop a tracking controller for the dynamic model of unicycle mobile robot by integrating a kinematic controller and a torque controller based on Fuzzy Logic Theory. Computer ...
LICS
2005
IEEE
13 years 11 months ago
2005
IEEE
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heap...
LMCS
2006
13 years 5 months ago
2006
We show how to give a coherent semantics to programs that are well-specified in a version of separation logic for a language with higher types: idealized algol extended with heaps ...
ICFP
2003
ACM
14 years 5 months ago
2003
ACM
We develop an explicit two level system that allows programmers to reason about the behavior of effectful programs. The first level is an ordinary ML-style type system, which conf...