1671 search results - page 27 / 335 » Language Constructs for Multi-agent Programming |
109
click to vote
OOPSLA
2005
Springer
15 years 5 months ago
2005
Springer
Can virtual machine developers benefit from religiously observing the principles more often embraced for exploratory programming? To find out, we are concurrently constructing two...
183
Voted
POPL
2007
ACM
16 years 1 days ago
2007
ACM
Type-preserving compilation can improve software reliability by generating code that can be verified independently of the compiler. Practical type-preserving compilation does not ...
123
click to vote
ICFP
2010
ACM
15 years 24 days ago
2010
ACM
Several recent security-typed programming languages, such as Aura, PCML5, and Fine, allow programmers to express and enforce access control and information flow policies. Most of ...
103
click to vote
EELC
2006
15 years 3 months ago
2006
Research into the evolution of grammar requires that we employ formalisms and processing mechanisms that are powerful enough to handle features found in human natural languages. Bu...
SENSYS
2004
ACM
15 years 5 months ago
2004
ACM
We propose a new configuration language, component and service library, and compiler that make it easier to develop efficient sensor network applications. Our goal is the constr...