Optimal run time optimization proved by a new look at abstract interpretations
Si trova su / Altri legami
A two stage run time optimization algorithm is presented that combines two well–known techniques in a Herbrand optimal manner:
| # | Istituto/Sede | Collocazione | Inventario patrimoniale |
|---|---|---|---|
| Area della ricerca di Genova, Servizio di Documentazione Scientifica | Sede di Genova |
