Sciweavers

947 search results - page 27 / 190
» Declarative Programming in Prolog
Sort
View
ICLP
1999
Springer
15 years 1 months ago
Concurrency in Prolog Using Threads and a Shared Database
Concurrency in Logic Programming has received much attention in the past. One problem with many proposals, when applied to Prolog, is that they involve large modifications to the...
Manuel Carro, Manuel V. Hermenegildo
PADL
2009
Springer
15 years 10 months ago
Operational Semantics for Declarative Networking
Declarative Networking has been recently promoted as a high-level programming paradigm to more conveniently describe and implement systems that run in a distributed fashion over a ...
Juan A. Navarro, Andrey Rybalchenko
DALT
2004
Springer
15 years 3 months ago
Dynamics of Declarative Goals in Agent Programming
In this paper, the notion of declarative goals as used in agent programming is central. Declarative goals describe desirable states and are updated during the execution of an agent...
Birna van Riemsdijk, Mehdi Dastani, Frank Dignum, ...
ESWA
2002
76views more  ESWA 2002»
14 years 9 months ago
Supporting software development through declaratively codified programming patterns
In current-day software development, programmers often use programming patterns to clarify their intents and to increase the understandability of their programs. Unfortunately, mo...
Kim Mens, Isabel Michiels, Roel Wuyts
ATAL
2005
Springer
15 years 3 months ago
Semantics of declarative goals in agent programming
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
Birna van Riemsdijk, Mehdi Dastani, John-Jules Ch....