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 9 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 3 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 1 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 3 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 2 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