1715 search results - page 161 / 343 » Domain-Specific Program Checking |
239
click to vote
POPL
2002
ACM
16 years 6 months ago
2002
ACM
An adaptive computation maintains the relationship between its input and output as the input changes. Although various techniques for adaptive computing have been proposed, they r...
199
click to vote
TACAS
2009
Springer
16 years 28 days ago
2009
Springer
Abstract. We propose a static analysis framework for concurrent programs based on reduction of thread interleavings using sound invariants on the top of partial order techniques. S...
151
click to vote
ICRA
2007
IEEE
16 years 14 days ago
2007
IEEE
— The success of sampling-based motion planners has resulted in a plethora of methods for improving planning components, such as sampling and connection strategies, local planner...
167
click to vote
ICLP
2007
Springer
16 years 9 days ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
141
click to vote
PPDP
2007
Springer
16 years 8 days ago
2007
Springer
We propose a framework to construct web-oriented user interfaces in a high-level way by exploiting declarative programming techniques. Such user interfaces are intended to manipul...