7124 search results - page 417 / 1425 » Programming Languages and Operating Systems |
204
click to vote
AGP
1997
IEEE
15 years 11 months ago
1997
IEEE
Abstract. Functional logic languages with a complete operational semantics are based on narrowing, a generalization of term rewriting where unification replaces matching. In this ...
193
click to vote
FOIKS
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Ordered Choice Logic Programming (OCLP) allows for dynamic preference-based decision-making with multiple alternatives without the need for any form of negation. This com...
156
click to vote
ESOP
2010
Springer
16 years 4 months ago
2010
Springer
In 2003, Hofmann and Jost introduced a type system that uses a potential-based amortized analysis to infer bounds on the resource consumption of (first-order) functional programs. ...
188
click to vote
WWW
2006
ACM
16 years 25 days ago
2006
ACM
A Service oriented system emerges from composition of services. Dynamically composed reactive Web services form a special class of service oriented system, where the delays associ...
163
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
As a general framework, UNITY does not offer any specific facility for the design of distributed systems. For such systems, distribution aspects must be represented at a low level,...