10585 search results - page 2008 / 2117 » The Orc Programming Language |
99
Voted
ENTCS
2006
15 years 16 days ago
2006
Klaim is an experimental language designed for modeling and programming distributed systems composed of mobile components where distribution awareness and dynamic system architect...
104
Voted
CAL
2007
15 years 16 days ago
2007
Abstract—Indirect jumps are used to implement increasinglycommon programming language constructs such as virtual function calls, switch-case statements, jump tables, and interfac...
102
Voted
IEICET
2006
15 years 16 days ago
2006
Concurrency is one of the most important issues in system-level design. Interleaving among parallel processes can cause an extremely large number of different behaviors, making de...
116
Voted
IPL
2008
15 years 16 days ago
2008
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
88
Voted
ISCI
2008
15 years 16 days ago
2008
This paper considers the theory of database queries on the complex value data model with external functions. Motivated by concerns regarding query evaluation, we first identify re...