1278 search results - page 162 / 256 » On the Semantics of Logic Program Composition |
GPCE
2003
Springer
14 years 2 months ago
2003
Springer
We present SynchNet, a compositional meta-level language for coordination of distributed. Its design is based on the principle of separation of concerns, namely separation of the c...
CIA
2006
Springer
14 years 28 days ago
2006
Springer
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
POPL
2011
ACM
13 years 1 days ago
2011
ACM
We consider programs for embedded real-time systems which use priority-driven preemptive scheduling with task priorities adjusted dynamically according to the immediate ceiling pr...
ICFP
2005
ACM
14 years 2 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
POPL
2008
ACM
14 years 9 months ago
2008
ACM
The C language definition leaves the sizes and layouts of types partially unspecified. When a C program makes assumptions about type layout, its semantics is defined only on platf...