Yazar
Choi, W., Aktemur, Tankut Barış, Yi, K., Tatsuta, M.
Basım Tarihi
2011
Basım Yeri
-
ACM
Konu
Çok aşamalı diller, Statik analiz, Anlambilimin korunması, Aşamasız çeviri, Soyut yorumlama, Projeksiyon
Tür
Belge
Dil
İngilizce
Dijital
Evet
Yazma
Hayır
Kütüphane
Özyeğin Üniversitesi
Demirbaş Numarası
978-1-4503-0490-0
Kayıt Numarası
4eb4cf21-7f88-4559-9bb8-38cadbf35eb1
Lokasyon
Bilgisayar Bilimi
Tarih
2011
Notlar
Telif hakkı kısıtlamaları nedeniyle bu makalenin tam metnine erişim yalnızca abonelik yoluyla mümkündür.
Örnek Metin
Çok aşamalı programların statik analizi zorludur çünkü geleneksel statik analizin temel varsayımı artık geçerli değildir: program metninin kendisi artık sabit bir statik varlık değil, dinamik olarak oluşturulmuş bir değerdir. Bu makale, çok aşamalı değere göre çağrı programlarının, aşamalandırılmamış programlara anlambilimsel olarak korunan bir çevirisini ve bu çeviriyi temel alan bir statik analiz çerçevesini sunmaktadır. Çok aşamalı bir programın her küçük adımlı indirgenmesinin, aşamalandırılmamış versiyonunun değerlendirilmesi yoluyla simüle edilmesi nedeniyle çeviri anlamsal açıdan koruyucudur. Bu çeviri sayesinde, çok aşamalı programları, geleneksel aşamalandırılmamış programlar için geliştirilmiş mevcut statik analiz teknikleriyle analiz edebiliriz: önce aşamalandırılmamış çeviriyi uygularız, ardından geleneksel statik analizi aşamalandırılmamış versiyona uygularız ve son olarak analiz sonuçlarını orijinal aşamalı programa göre geri dönüştürürüz. Çevirimiz, pratikte faydalı olacak şekilde geliştirilmiş (Lisp'in yarı alıntısında belirtilen) aşamalandırma yapılarını ele alır: değerler olarak açık kod, referanslar üzerinde sınırsız işlemler ve kasıtlı değişken yakalama ikameleri. Bu makale, okuyucuyu yardımcı teknik raporumuza yönlendirdiğimiz referansları içermemektedir.
DOI
10.1145/1926385.1926397
