Eylem Seç
JSSpe: A Symbolic Partial Evaluator for Javascript
Başlık:
JSSpe: A Symbolic Partial Evaluator for Javascript
Yazar:
Süslü, Sümeyye, author.
ISBN:
9780438128927
Yazar Ek Girişi:
Fiziksel Tanımlama:
1 electronic resource (80 pages)
Genel Not:
Source: Masters Abstracts International, Volume: 57-06M(E).
Advisors: Christoph Csallner.
Özet:
Currently, JavaScript is one of the mostly used programming languages for Web and Mobile platforms. This brings a large demand for optimization and smarter resource allocation of the applications written in JavaScript. Partial evaluation is a program transformation technique which rewrites a program by evaluating it with respect to its known variables. Recently, Facebook proposed Prepack: A partial evaluator for JavaScript which will make original program shorter and faster by performing both concrete and symbolic evaluation (concolic evaluation). Although it is proposed as a planned improvement, symbolic evaluation engine currently does not implement an SMT solver. In this work, a JavaScript symbolic partial evaluator (JSSpe) is designed using Babel plugin and it is connected to the Microsoft-Z3 SMT solver to investigate its contribution to its performance. Several test scenarios are experimented in order to show the performance enhancements through using an SMT solver in partial evaluator design.
Notlar:
School code: 2502
Konu Başlığı:
Tüzel Kişi Ek Girişi:
Mevcut:*
Yer Numarası | Demirbaş Numarası | Shelf Location | Lokasyon / Statüsü / İade Tarihi |
---|---|---|---|
XX(696692.1) | 696692-1001 | Proquest E-Tez Koleksiyonu | Arıyor... |
On Order
Liste seç
Bunu varsayılan liste yap.
Öğeler başarıyla eklendi
Öğeler eklenirken hata oldu. Lütfen tekrar deneyiniz.
:
Select An Item
Data usage warning: You will receive one text message for each title you selected.
Standard text messaging rates apply.