Sciweavers

1402 search results - page 182 / 281
» A Practical Agent Programming Language
Sort
View
97
Voted
ECOOP
2003
Springer
15 years 7 months ago
Traits: Composable Units of Behaviour
Despite the undisputed prominence of inheritance as the fundamental reuse mechanism in object-oriented programming languages, the main variants — single inheritance, multiple inh...
Nathanael Schärli, Stéphane Ducasse, O...
164
Voted
WOA
2004
15 years 3 months ago
A Game-Theoretic Operational Semantics
Abstract-- In this paper we present the communication architecture of the DALI Logic Programming Agent-Oriented language and we discuss its semantics. We have designed a meta-level...
Arianna Tocchio, Stefania Costantini, Alessia Vert...
122
Voted
EMSOFT
2009
Springer
15 years 9 months ago
Compositional deadlock detection for rendezvous communication
Concurrent programming languages are growing in importance with the advent of multi-core systems. However, concurrent programs suffer from problems, such as data races and deadloc...
Baolin Shao, Nalini Vasudevan, Stephen A. Edwards
135
Voted
HEURISTICS
2008
136views more  HEURISTICS 2008»
15 years 1 months ago
Enhancing set constraint solvers with lexicographic bounds
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
Andrew Sadler, Carmen Gervet
PPOPP
2011
ACM
14 years 5 months ago
Wait-free queues with multiple enqueuers and dequeuers
The queue data structure is fundamental and ubiquitous. Lockfree versions of the queue are well known. However, an important open question is whether practical wait-free queues ex...
Alex Kogan, Erez Petrank