1671 search results - page 116 / 335 » Language Constructs for Multi-agent Programming |
279
click to vote
POPL
2004
ACM
16 years 6 months ago
2004
ACM
In prior work we introduced a pure type assignment system that encompasses a rich set of property types, including intersections, unions, and universally and existentially quantif...
165
click to vote
PEPM
2010
ACM
16 years 3 months ago
2010
ACM
Adapting a strictness analyser to have it take into account explicit strictness annotations can be a tricky business. Straightforward extensions of analyses based on relevance typ...
283
click to vote
POPL
2005
ACM
16 years 6 months ago
2005
ACM
We define compositional compilation as the ability to typecheck source code fragments in isolation, generate corresponding binaries, and link together fragments whose mutual assum...
161
click to vote
PPDP
2009
Springer
16 years 26 days ago
2009
Springer
We give a denotational semantics to a type and effect system tracking reading and writing to global variables holding values that may include higher-order effectful functions. Reļ...
150
click to vote
LCTRTS
2004
Springer
15 years 11 months ago
2004
Springer
Java Card technology simpliļ¬es the development of smart card applications by providing a high-level programming language similar to Java. However, the master-slave programming m...