5506 search results - page 369 / 1102 » Minimal Logic Programs |
140
click to vote
CSUR
1999
15 years 5 months ago
1999
with functions over those sets. This level of abstraction is commensurate with the view that the correctness of the input/output behaviour of a program takes precedence over all it...
148
click to vote
SIGSOFT
2006
ACM
16 years 6 months ago
2006
ACM
Pervasive context-aware software is an emerging kind of application. Smart personal digital assistants and RFID-based location sensing software are two examples. Many of these sys...
138
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
The number of embedded systems is increasing and a remarkable percentage is designed as mobile applications. For the latter, the energy consumption is a limiting factor because of...
176
click to vote
ENTCS
2008
15 years 6 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...
170
click to vote
PPDP
2007
Springer
16 years 4 days ago
2007
Springer
We describe a semantic type soundness result, formalized in the Coq proof assistant, for a compiler from a simple imperative language with heap-allocated data into an idealized as...