1671 search results - page 29 / 335 » Language Constructs for Multi-agent Programming |
136
click to vote
APLAS
2011
ACM
14 years 2 months ago
2011
ACM
The well-known third list homomorphism theorem states that if a function h is both an instance of foldr and foldl, it is a list homomorphism. Plenty of previous works devoted to co...
127
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
120
click to vote
SIGPLAN
2002
15 years 2 months ago
2002
We describe the design of a rule-based language for expressing changes to Haskell programs in a systematic and reliable way. The update language essentially offers update commands...
96
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
205
Voted
AOSD
2011
ACM
14 years 9 months ago
2011
ACM
This paper proposes EventCJ, a context-oriented programming (COP) language that can modularly control layer activation based on user-defined events. In addition to defining cont...