1278 search results - page 210 / 256 » On the Semantics of Logic Program Composition |
132
click to vote
IFL
2005
Springer
15 years 10 months ago
2005
Springer
In programs written in lazy functional languages such as for example Clean and Haskell, the programmer can choose freely whether particular subexpressions will be evaluated lazily ...
141
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
This paper develops a mathematical characterisation of object-oriented concepts by defining an observation-oriented semantics for an object-oriented language (OOL) with a rich var...
147
click to vote
APLAS
2004
ACM
15 years 10 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
129
click to vote
POPL
1994
ACM
15 years 8 months ago
1994
ACM
Abstract: The narrowing relation over terms constitutes the basis of the most important operational semantics of languages that integrate functional and logic programming paradigms...
144
click to vote
EUROSYS
2007
ACM
15 years 8 months ago
2007
ACM
Middleware simplifies the construction of distributed applications. These applications typically require continuous uptime. The maintenance of distributed applications, though, im...