1671 search results - page 33 / 335 » Language Constructs for Multi-agent Programming |
100
click to vote
ERLANG
2003
ACM
15 years 7 months ago
2003
ACM
This paper presents a soft-typing system for the programming language Erlang. The system is based on two concepts; a (forward) data flow analysis that determines upper approximat...
108
click to vote
GPCE
2008
Springer
15 years 3 months ago
2008
Springer
High-level query constructs help greatly improve the clarity of programs and the productivity of programmers, and are being introduced to increasingly more languages. However, the...
114
click to vote
CCS
2008
ACM
15 years 4 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
123
click to vote
ECOOP
2012
Springer
13 years 4 months ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...
120
click to vote
PLDI
2012
ACM
13 years 4 months ago
2012
ACM
Approximate program transformations such as skipping tasks [29, 30], loop perforation [21, 22, 35], reduction sampling [38], multiple selectable implementations [3, 4, 16, 38], dy...