3468 search results - page 30 / 694 » An open logical framework |
FIA
2011
12 years 10 months ago
2011
POPL
2006
ACM
14 years 11 months ago
2006
ACM
Embedded code pointers (ECPs) are stored handles of functions and continuations commonly seen in low-level binaries as well as functional or higher-order programs. ECPs are known ...
FROCOS
2005
Springer
14 years 4 months ago
2005
Springer
We present one way of combining a logical framework and first-order logic. The logical framework is used as an interface to a first-order theorem prover. Its main purpose is to k...
CRV
2006
IEEE
14 years 5 months ago
2006
IEEE
This paper presents an original framework for evolving a vision-based mobile robot controller using genetic programming. This framework is built on the Open BEAGLE framework for t...
CONCURRENCY
2007
13 years 11 months ago
2007
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. Despite its broad availability, there remains a need ...