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

Program repair as sound optimization of broken programs

Fischer, Bernd; Saabas, Ando; Uustalu, Tarmo (2009). Program repair as sound optimization of broken programs. Proceedings : Third IEEE International Symposium on Theoretical Aspects of Software Engineering [TASE 2009] : Tianjin, China, 29-31 July 2009. Los Alamitos, CA: IEEE Computer Society Press, 165−173.10.1109/tase.2009.61.
publitseeritud konverentsiettekanne
Fischer, Bernd; Saabas, Ando; Uustalu, Tarmo
  • Inglise
Proceedings : Third IEEE International Symposium on Theoretical Aspects of Software Engineering [TASE 2009] : Tianjin, China, 29-31 July 2009
Los Alamitos, CA
IEEE Computer Society Press
978-0-7695-3757-3
2009
165173
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.1109/tase.2009.61

Lisainfo

program repair; type systems; similarity relations; program optimization soundness; program logics; mechanical transformation of program correctness proofs
Conference Proceedings Citation Index- Science (CPCI-S); Scopus