1071 search results - page 36 / 215 » Programming with enumerable sets of structures |
LCTRTS
2004
Springer
14 years 4 months ago
2004
Springer
Most modern compilers operate by applying a fixed, program-independent sequence of optimizations to all programs. Compiler writers choose a single “compilation sequence”, or ...
SCAM
2008
IEEE
14 years 5 months ago
2008
IEEE
Data-flow analysis is a common technique to gather program information for use in transformations such as register allocation, dead-code elimination, common subexpression elimina...
DSN
2005
IEEE
14 years 4 months ago
2005
IEEE
Stealth malware programs that silently infect enterprise and consumer machines are becoming a major threat to the future of the Internet [XZ04]. Resource hiding is a powerful stea...
JAR
2010
13 years 5 months ago
2010
Nominal logic is a variant of first-order logic with special facilities for reasoning about names and binding based on the underlying concepts of swapping and freshness. It serves ...
SCP
1998
13 years 10 months ago
1998
The Gamma language is based on the chemical reaction metaphor which has a number of benefits with respect to parallelism and program derivation. But the original definition of G...