3238 search results - page 463 / 648 » Multi-return function call |
234
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
163
click to vote
PEPM
2007
ACM
16 years 18 days ago
2007
ACM
Poly-Controlled Partial Evaluation (PCPE) is a powerful approach to partial evaluation, which has recently been proposed. PCPE takes into account sets of control strategies instea...
190
click to vote
PPDP
2007
Springer
16 years 18 days ago
2007
Springer
We give a novel transformation for proving termination of higher-order rewrite systems in the format of Inductive Data Type Systems (IDTSs) by Blanqui, Jouannaud and Okada. The tr...
165
click to vote
FOCS
2006
IEEE
16 years 16 days ago
2006
IEEE
Secret sharing and multiparty computation (also called “secure function evaluation”) are fundamental primitives in modern cryptography, allowing a group of mutually distrustfu...
177
click to vote
ICAT
2006
IEEE
16 years 16 days ago
2006
IEEE
—Spatial augmented reality using controllable projector-camera-systems to project onto objects directly, or Projected Reality as we call it, offers the possibility to augment obj...