1932 search results - page 188 / 387 » Molecule-oriented programming in Java |
110
Voted
TCS
2008
15 years 22 days ago
2008
Type systems and program logics are often conceived to be at opposing ends of the spectrum of formal software analyses. In this paper we show that a flow-sensitive type system ensu...
104
click to vote
POPL
2011
ACM
14 years 3 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
74
Voted
CAV
2009
Springer
16 years 1 months ago
2009
Springer
Active testing has recently been introduced to effectively test concurrent programs. Active testing works in two phases. It first uses predictive off-the-shelf static or dynamic pr...
116
Voted
ICAS
2006
IEEE
15 years 6 months ago
2006
IEEE
By harnessing computational power of distributed heterogeneous resources, it is possible to build a large scale integrated system so that a centralized program is partitioned and ...
105
Voted
WCRE
2006
IEEE
15 years 6 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...