Sciweavers

917 search results - page 68 / 184
» On the Semantics of Updates in a Functional Language
Sort
View
CORR
2006
Springer
135views Education» more  CORR 2006»
14 years 12 months ago
Constraint Functional Logic Programming over Finite Domains
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
Antonio J. Fernández, Maria Teresa Hortal&a...
ICLP
2005
Springer
15 years 5 months ago
Nondeterminism Analysis of Functional Logic Programs
Abstract. Information about the nondeterminism behavior of a functional logic program is important for various reasons. For instance, a nondeterministic choice in I/O operations re...
Bernd Braßel, Michael Hanus
DEBS
2007
ACM
15 years 3 months ago
A QoS policy configuration modeling language for publish/subscribe middleware platforms
Publish/subscribe (pub/sub) middleware platforms for eventbased distributed systems often provide many configurable policies that affect end-to-end quality of service (QoS). Altho...
Joe Hoffert, Douglas C. Schmidt, Aniruddha S. Gokh...
SKG
2006
IEEE
15 years 5 months ago
Ontology-Based QoS Driven GIS Grid Service Discovery
A semantic based approach for QoS driven service discovery is proposed to help clients select the currently best services matching their requests in a dynamic GGS (GIS Grid Servic...
Wenjun Li, Shu-neng Zhao, Heng Sun, Xiao-bin Zhang
PPDP
1999
Springer
15 years 4 months ago
Distributed Programming in a Multi-Paradigm Declarative Language
Curry is a multi-paradigm declarative language covering functional, logic, and concurrent programming paradigms. Curry’s operational semantics is based on lazy reduction of expre...
Michael Hanus