1239 search results - page 38 / 248 » Control Generation for Logic Programs |
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
CooML is an object-oriented modeling language where specifications are theories in a constructive logic designed to handle incomplete information. In this logic we view snapshots ...
CDES
2008
13 years 9 months ago
2008
- The Cell Matrix Architecture is a massive array of dynamically self-configurable, uniformly connected, identical computational units. This architecture can enable efficient, prac...
FOSSACS
2001
Springer
14 years 6 days ago
2001
Springer
Garbage collection relieves the programmer of the burden of managing dynamically allocated memory, by providing an automatic way to reclaim unneeded storage. This eliminates or les...
IJOE
2007
13 years 7 months ago
2007
: The experience and content of a PLC course developed for distance learning (ODL) is presented. The course aims to introduce the student into the automation world of industrial pr...
PPDP
2009
Springer
14 years 2 months ago
2009
Springer
We propose a novel approach to encapsulate non-deterministic computations in functional logic programs. Our approach is based on set functions that return the set of all the resul...