AGERE
2015
9 years 12 months ago
2015
Multiple mature implementations of the actor model of concurrency exist. Besides several ones available for the Java Virtual Machine, there are others, for example, written in Sma...
AGERE
2015
9 years 12 months ago
2015
A key idea in object-oriented programming is that objects encapsulate state and interact with each other by message exchange. This perspective suggests a model of computation that...
AGERE
2015
9 years 12 months ago
2015
Combining the actor-model with shared memory for performance is efficient but can introduce data-races. Existing approaches to static data-race freedom are based on uniqueness an...
22
Voted
AGERE
2015
9 years 12 months ago
2015
Agent-Oriented Programming (AOP) researchers have successfully developed a range of agent programming languages that bridge the gap between theory and practice. Unfortunately, des...
131
click to vote
AFP
2015
Springer
9 years 12 months ago
2015
Springer
We formalize new decision procedures for WS1S, M2L(Str), and Presburger Arithmetics. Formulas of these logics denote regular languages. Unlike traditional decision procedures, we ...