1671 search results - page 31 / 335 » Language Constructs for Multi-agent Programming |
131
click to vote
CLIMA
2009
15 years 5 days ago
2009
This paper proposes an operational semantics for BDI modules that can be incorporated in multi-agent programming languages. The introduced concept of modules facilitates the implem...
101
click to vote
DDEP
2000
Springer
15 years 6 months ago
2000
Springer
There are parallels between the construction of programs and the construction of hypertexts, and in ar between the abstractions available to the application programmer and those a...
ICFP
2010
ACM
15 years 3 months ago
2010
ACM
We present a type and effect system for flow analysis that makes essential use of higher-ranked polymorphism. We show that, for higher-order functions, the expressiveness of highe...
117
click to vote
AGTIVE
1999
Springer
15 years 6 months ago
1999
Springer
Cpfg is a program for simulating and visualizing plant development, based on the theory of L−systems. A special−purpose programming language, used to specify plant models, is ...
100
click to vote
SAC
2006
ACM
15 years 8 months ago
2006
ACM
We propose union types for statically typed class-based objectoriented languages as a means to enhance the flexibility of subtyping. As its name suggests, a union type can be con...