1550 search results - page 208 / 310 » Erlang for Concurrent Programming |
141
click to vote
CL
2010
Springer
15 years 1 months ago
2010
Springer
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally...
122
click to vote
ISCA
2008
IEEE
15 years 1 months ago
2008
IEEE
Current hardware transactional memory systems seek to simplify parallel programming, but assume that large transactions are rare, so it is acceptable to penalize their performance...
132
click to vote
ENTCS
2007
15 years 1 months ago
2007
Narrowing was originally introduced to solve equational E-unification problems. It has also been recognized as a key mechanism to unify functional and logic programming. In both ...
116
click to vote
ENTCS
2002
15 years 1 months ago
2002
Practical declarative multi-paradigm languages combine the main features of functional, logic and concurrent programming (e.g., laziness, sharing, higher-order, logic variables, n...
131
click to vote
CJ
2010
14 years 11 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...