1628 search results - page 150 / 326 » Compiler Construction Using Scheme |
168
Voted
RTA
2005
Springer
15 years 11 months ago
2005
Springer
Proof-carrying code provides a mechanism for insuring that a host, or code consumer, can safely run code delivered by a code producer. The host specifies a safety policy as a set ...
169
Voted
GI
2004
Springer
15 years 11 months ago
2004
Springer
: There is an emerging amount of software for generating and manipulating XML documents. This paper addresses the problem of guaranteeing the validity of dynamically generated XML ...
159
click to vote
LCPC
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Branch predictors are associated with critical design issues for nowadays instruction greedy processors. We study two important domains where the optimization of decision...
164
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
AspectJ™ is a simple and practical aspect-oriented extension to Java™. With just a few new constructs, AspectJ provides support for modular implementation of a range of crosscu...
141
Voted
OOPSLA
2001
Springer
15 years 10 months ago
2001
Springer
We present Jiazzi, a system that enables the construction of largescale binary components in Java. Jiazzi components can be thought of as generalizations of Java packages with add...