3404 search results - page 447 / 681 » C Programming Tutorial |
90
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
Generalization tasks are important for continual improvement to the design of an evolving code base, eliminating redundancy where it has accumulated. An important step in generali...
109
Voted
WWW
2001
ACM
16 years 2 months ago
2001
ACM
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
224
Voted
PLDI
2009
ACM
16 years 2 months ago
2009
ACM
Class sharing is a new language mechanism for building extensible software systems. Recent work has separately explored two different kinds of extensibility: first, family inherit...
220
Voted
ASPLOS
2009
ACM
16 years 2 months ago
2009
ACM
For many mission-critical tasks, tight guarantees on the flow of information are desirable, for example, when handling important cryptographic keys or sensitive financial data. We...
139
Voted
CADE
2002
Springer
16 years 2 months ago
2002
Springer
Abstract. Proof-carrying code (PCC) allows a code producer to associate to a program a machine-checkable proof of its safety. In the original approach to PCC, the safety policy inc...