Sciweavers

7529 search results - page 152 / 1506
» The Modula-3 Type System
Sort
View
FUIN
2006
85views more  FUIN 2006»
15 years 4 months ago
Implementing Typeful Program Transformations
The notion of program transformation is ubiquitous in programming language studies on interpreters, compilers, partial evaluators, etc. In order to implement a program transformat...
Chiyan Chen, Rui Shi, Hongwei Xi
ICFP
2002
ACM
16 years 4 months ago
Tagless staged interpreters for typed languages
Multi-stage programming languages provide a convenient notation for explicitly staging programs. Staging a definitional interpreter for a domain specific language is one way of de...
Emir Pasalic, Walid Taha, Tim Sheard
151
Voted
HAPTICS
2007
IEEE
15 years 11 months ago
Incorporating Geometric Algorithms in Impedance- and Admittance-Type Haptic Rendering
Geometric (proxy-based) haptic rendering algorithms are widely used in impedance-type haptic rendering. Such methods are useful for developing complex virtual environment because ...
Ryo Kikuuwe, Hideo Fujimoto
SP
2003
IEEE
155views Security Privacy» more  SP 2003»
15 years 10 months ago
Mixminion: Design of a Type III Anonymous Remailer Protocol
We present Mixminion, a message-based anonymous remailer protocol with secure single-use reply blocks. Mix nodes cannot distinguish Mixminion forward messages from reply messages,...
George Danezis, Roger Dingledine, Nick Mathewson
164
Voted
ECOOP
1999
Springer
15 years 9 months ago
Type-Safe Delegation for Run-Time Component Adaptation
Abstract. The aim of component technology is the replacement of large monolithic applications with sets of smaller software components, whose particular functionality and interoper...
Günter Kniesel