See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Proof optimization for partial redundancy elimination

Saabas, Ando; Uustalu, Tarmo (2008). Proof optimization for partial redundancy elimination. PEPM'08 : Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008. New York: ACM, 91−101.10.1145/1328408.1328422.
publitseeritud konverentsiettekanne
Saabas, Ando; Uustalu, Tarmo
  • Inglise
PEPM'08 : Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, San Francisco, California, USA, January 7-8, 2008
New York
ACM
978-1-59593-977-7
2008
91101
Ilmunud
3.1. Artiklid/peatükid lisas loetletud kirjastuste välja antud kogumikes (kaasa arvatud Thomson Reuters Book Citation Index, Thomson Reuters Conference Proceedings Citation Index, Scopus refereeritud kogumikud)

Viited terviktekstile

dx.doi.org/10.1145/1328408.1328422