10899 search results - page 236 / 2180 » The GP Programming System |
159
click to vote
APLAS
2010
ACM
15 years 2 months ago
2010
ACM
Abstract. The paper is devoted to an analysis of the concurrent features of asynchronous systems. A preliminary step is represented by the
165
click to vote
KBSE
1998
IEEE
15 years 9 months ago
1998
IEEE
We report on GADGET, a new software test generation system that uses combinatorial optimization to obtain condition/decision coverage of C/C++ programs. The GADGET system is fully...
138
click to vote
CCS
2010
ACM
15 years 5 months ago
2010
ACM
Decentralized information flow control (DIFC) operating systems provide applications with mechanisms for enforcing information-flow policies for their data. However, significant o...
124
click to vote
VMCAI
2009
Springer
16 years 6 days ago
2009
Springer
We present a lightweight type-and-effect system for Java programs that features two major innovations over extant object-oriented effects systems: initialization effects, which ...
174
click to vote
EUROGP
2004
Springer
15 years 9 months ago
2004
Springer
Most programs currently written by humans are object-oriented ones. Two of the greatest benefits of object oriented programming are the separation of interface from implementation,...