1239 search results - page 12 / 248 » Control Generation for Logic Programs |
DAC
2002
ACM
16 years 20 days ago
2002
ACM
This paper addresses the problem of automatic generation of implementation software from high-level functional specifications in the context of embedded system on chip designs. So...
101
click to vote
ATAL
2000
Springer
15 years 4 months ago
2000
Springer
This paper presents a programmable logic-based agent control system that interleaves planning, plan execution and perception. In this system, a program is a collection of logical f...
LICS
2007
IEEE
15 years 6 months ago
2007
IEEE
FreshML extends ML with constructs for declaring and ting abstract syntax trees that involve names and statically scoped binders. It is impure: name generation is an observable si...
ESOP
2000
Springer
15 years 3 months ago
2000
Springer
We introduce graph reduction technology that implements functional languages with control, such as Scheme with call/cc, where continuations can be manipulated explicitly as values,...
124
click to vote
DEDS
2000
14 years 11 months ago
2000
In this paper, we present the integration of controller synthesis techniques in the SIGNAL environment through the description of a tool dedicated to the incremental construction o...