10585 search results - page 373 / 2117 » The Orc Programming Language |
168
click to vote
COMPSAC
2005
IEEE
16 years 12 days ago
2005
IEEE
SLABS is a formal specification language designed for modular and composable specification of multi-agent systems. This paper reports our attempts to support SLABS at the level ...
173
click to vote
ERLANG
2007
ACM
15 years 10 months ago
2007
ACM
We investigate the distributed part of the Erlang programming language, with an aim to develop robust distributed systems and algorithms running on top of Erlang runtime systems. ...
166
click to vote
PLDI
2012
ACM
13 years 9 months ago
2012
ACM
We describe an approach for synthesizing data representations for concurrent programs. Our compiler takes as input a program written using concurrent relations and synthesizes a r...
193
click to vote
POPL
1998
ACM
15 years 11 months ago
1998
ACM
abstractions, such as closures, tuples, and user-defined abstract data types. The type system ensures that well-typed programs cannot violate these abstractions. In addition, the ...
169
click to vote
GPCE
2004
Springer
16 years 4 days ago
2004
Springer
Abstract. Model-driven architecture envisions a paradigm shift as dramatic as the one from low-level assembler languages to high-level programming languages. In order for this visi...