1894 search results - page 284 / 379 » A TLA Proof System |
121
Voted
ENTCS
2007
15 years 3 months ago
2007
The use of typed intermediate languages can significantly increase the reliability of a compiler. By typechecking the code produced at each transformation stage, one can identify...
140
Voted
IJAR
2007
15 years 3 months ago
2007
In order to handle inconsistent knowledge bases in a reasonable way, one needs a logic which allows nontrivial inconsistent theories. Logics of this sort are called paraconsistent...
114
Voted
ICRA
2010
IEEE
15 years 2 months ago
2010
IEEE
— Sampling-based kinodynamic planners, such as the popular RRT algorithm, have been proposed as promising solutions to planning for systems with dynamics. Nevertheless, complex s...
118
click to vote
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
246
click to vote
POPL
2005
ACM
16 years 4 months ago
2005
ACM
Spatial logics have been used to describe properties of treelike structures (Ambient Logic) and in a Hoare style to reason about dynamic updates of heap-like structures (Separatio...