|
403
|
Program Analysis and Specialization for the C Programming Language. PhDthesis, University of Copenhagen, DIKU, DIKU report 94/19
– Andersen
- 1994
|
|
361
|
Safe kernel extensions without run-time checking
– Necula, Lee
- 1996
|
|
275
|
Denotational Semantics: a Methodology for Language Development
– Schmidt
- 1986
|
|
242
|
Tutorial notes on partial evaluation
– Consel, Danvy
- 1993
|
|
198
|
A general approach for run-time specialization and its application to C
– Consel, Noël
- 1996
|
|
118
|
VCODE: A retargetable, extensible, very fast dynamic code generation system
– Engler
- 1996
|
|
112
|
Effective Dynamic Compilation
– Fast
- 1996
|
|
79
|
A uniform approach for compile-time and run-time specialization
– Consel, Hornof, et al.
|
|
55
|
Optimizing Direct Threaded Code by Selective Inlining
– Piumarta, Riccardi
- 1998
|
|
49
|
Automatic, templatebased run-time specialization: Implementation and experimental study
– Noël, Hornof, et al.
- 1998
|
|
46
|
Tempo: Specializing systems applications and beyond
– Consel, Hornof, et al.
- 1998
|
|
46
|
Programming the web: An application-oriented language for hypermedia service programming
– Ladd, Ramming
- 1995
|
|
45
|
Accurate binding-time analysis for imperative languages: Flow, context, and return sensitivity
– Hornof, Noyé
- 1997
|
|
44
|
Automatic program specialization: A re-examination from basic principles
– Jones
|
|
30
|
optimized Sun RPC using automatic program specialization
– Fast
- 1998
|
|
26
|
The Java Language Specication
– Gosling, Joy, et al.
- 1996
|
|
25
|
Compiling Inheritance using Partial Evaluation
– Khoo, Sundaresh
- 1991
|
|
25
|
Two application languages in software production
– Ladd, Ramming
- 1994
|
|
23
|
Scaling up partial evaluation for optimizing the Sun commercial RPC protocol
– Muller, Volanschi, et al.
- 1997
|
|
22
|
Semantics-directed generation of a Prolog compiler
– Consel, Khoo
- 1991
|
|
22
|
Effective Specialization of Realistic Programs via Use Sensitivity
– Hornof, Noyé, et al.
- 1997
|
|
20
|
A domain-specific language for video device drivers: from design to implementation
– Thibault, Marlet, et al.
- 1997
|
|
18
|
Adapting Distributed Applications Using Extensible Networks
– Thibault, Marant, et al.
- 1999
|
|
12
|
The BSD packet lter: A new architecture for user-level packet capture
– McCanne, Jacobson
- 1993
|
|
9
|
Network programming using PLAN
– Hicks, Kakkar, et al.
- 1998
|
|
3
|
An Automatic Approach to Speclializing System Components
– Volanschi
- 1998
|
|
2
|
Harissa: A AEexible and eOEcient Java environment mixing bytecode and compiled code
– Muller, Moura, et al.
- 1997
|
|
2
|
Safe and eOEcient active network programming
– Thibault, Consel, et al.
- 1998
|
|
1
|
An algebraic specication of a language for describing nancial products
– Arnold, Deursen, et al.
- 1995
|
|
1
|
For a better support of static data AEow
– Consel, Danvy
- 1991
|
|
1
|
C: A language for high-level, eOEcient, and machine-independent dynamic code generation
– Engler, Hsieh, et al.
|
|
1
|
DPF: Fast, AEexible message demultiplexing using dynamic code generation
– Engler, Kaashoek
- 1996
|
|
1
|
The Packet Filter: an EOEcient Mechanism for User-level Network Code
– Mogul, Rashid, et al.
- 1987
|
|
1
|
Caoeeinemark 2.5
– Software
- 1996
|
|
