2625 search results - page 401 / 525 » The development of the Emerald programming language |
166
click to vote
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We present a sound and complete proof technique, based on syntactic logical relations, for showing contextual equivalence of expressions in a -calculus with recursive types and imp...
134
click to vote
ASPLOS
2008
ACM
15 years 6 months ago
2008
ACM
Support for optimistic parallelism such as thread-level speculation (TLS) and transactional memory (TM) has been proposed to ease the task of parallelizing software to exploit the...
151
Voted
DAC
2005
ACM
15 years 6 months ago
2005
ACM
This paper focuses on designing network processing software for embedded processors. Our design flow CRACC represents an efficient path to implementation based on a modular applic...
142
click to vote
DALT
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...
247
click to vote
ECOOP
2009
Springer
16 years 5 months ago
2009
Springer
Abstract. It is common for large-scale Java applications to suffer memory problems, whether inefficient designs that impede scalability, or lifetime bugs such as leaks. Making sens...