1989 search results - page 249 / 398 » Set functions for functional logic programming |
147
click to vote
ICALP
1998
Springer
15 years 7 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
124
Voted
AMAI
2006
Springer
15 years 3 months ago
2006
Springer
In this paper we study multi issue alternating-offers bargaining in a perfect information finite horizon setting, we determine the pertinent subgame perfect equilibrium, and we pro...
136
click to vote
CORR
2011
Springer
14 years 10 months ago
2011
Springer
We provide an overall description of the Ciao multiparadigm programming system emphasizing some of the novel aspects and motivations behind its design and implementation. An impor...
126
click to vote
DAC
2007
ACM
16 years 4 months ago
2007
ACM
Modern combinational equivalence checking (CEC) engines are complicated programs which are difficult to verify. In this paper we show how a modern CEC engine can be modified to pr...
122
click to vote
WWW
2007
ACM
16 years 4 months ago
2007
ACM
Data-driven web applications are usually structured in three tiers with different programming models at each tier. This division forces developers to manually partition applicatio...