3718 search results - page 294 / 744 » Programming by Integration in Robotics |
152
click to vote
TACAS
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. We present a tool for the formal verification of ANSI-C programs using Bounded Model Checking (BMC). The emphasis is on usability: the tool supports almost all ANSI-C la...
184
click to vote
FM
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. UnifyingTheoriesofProgramming(UTP)canprovideaformalsemantic foundation not only for programming languages but also for more expressive specification languages. We believ...
196
click to vote
VLDB
1999
ACM
15 years 11 months ago
1999
ACM
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...
158
click to vote
ICML
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper describes a new methodfor inducing logic programs from examples which attempts to integrate the best aspects of existingILP methodsintoa singlecoherent framework. In pa...
207
click to vote
KRDB
1996
15 years 8 months ago
1996
Metaprogramming adds new expressive power to logic programming which can be advantageous to transfer to the field of deductive databases. We propose metaprogramming as a way to mo...