Kääntäjäoptimointien luominen todisteista
Original page: http://www.cs.cornell.edu/~ross/publications/proofgen/ POPL 2010: [pdf] [bibtex] [pptx] [mp4] Tekijät: Ross Tate, Michael Stepp, Sorin Lerner Tekninen raportti: [pdf] [bibtex] Video: http://www.cs.cornell.edu/~ross/publications/proofgen/Tate-POPL10.mp4 Abstrakti Esittelemme automaattisen tekniikan kääntäjäoptimointien tuottamiseksi esimerkkeistä konkreettisista ohjelmista ennen ja jälkeen niiden parannusten. Tekniikkamme keskeinen tekninen käsitys on […]