4513 search results - page 480 / 903 » Logic programming with satisfiability |
125
click to vote
IROS
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— This paper presents Meld, a programming language for modular robots, i.e., for independently executing robots where inter-robot communication is limited to immediate ne...
137
click to vote
CASES
2006
ACM
15 years 11 months ago
2006
ACM
This paper considers the efficient parallel implementation of control constructs and expressions written in a common software programming language and synthesised to FPGA platform...
125
click to vote
ERLANG
2006
ACM
15 years 11 months ago
2006
ACM
We present the new model checker McErlang for verifying Erlang programs. In comparison with the etomcrl tool set, McErlang differs mainly in that it is implemented in Erlang. The ...
144
Voted
ICLP
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. In recent work, a general framework for specifying program correspondences under the answer-set semantics has been defined. The framework allows to define different not...
116
Voted
ICSE
2010
IEEE-ACM
15 years 10 months ago
2010
IEEE-ACM
Program differencing tools such as GNU diff identify individual differences but do not determine how those differences are related to each other. For example, an extract super...