443 search results - page 1 / 89 » A Simple Solution to Type Specialization |
ICALP
1998
Springer
13 years 9 months ago
1998
Springer
NECO
2007
13 years 4 months ago
2007
Recently Izhikevich (2003) proposed a new canonical neuron model of spike generation. The model was surprisingly simple, yet able to accurately replicate the firing patterns of d...
SAIG
2000
Springer
13 years 8 months ago
2000
Springer
The phrase optimal program specialization" was de ned by Jones et al. in 1993 to capture the idea of a specializer being strong enough to remove entire layers of interpretatio...
FUIN
2008
13 years 4 months ago
2008
We give an algorithmic solution in a simple combinatorial data of Birkhoff s type problem studied in [14], for the category repft(I, K[t]/(tm)) of filtered I-chains of modules over...
POPL
1994
ACM
13 years 9 months ago
1994
ACM
This paper discusses call forwarding, a simple interprocedural optimization technique for dynamically typed languages. The basic idea behind the optimization is straightforward: n...