Aramaya Dön

Aşamalı Hesaplamayı Kayıt Hesabıyla İlişkilendirme

İsim	Aşamalı Hesaplamayı Kayıt Hesabıyla İlişkilendirme
Yazar	Aktemur, Tankut Barış, Choi, W.
Basım Tarihi:	2010-09-06
Basım Yeri	- Özyeğin University
Konu	kayıt hesabı, program oluşturma
Tür	Belge
Dil	İngilizce
Dijital	Evet
Yazma	Hayır
Kütüphane:	Özyeğin Üniversitesi
Kayıt Numarası	d0b76a85-da73-4bc8-b86e-2a62e6a1b6fd
Lokasyon	Bilgisayar Bilimi
Tarih	2010-09-06
Örnek Metin	Kayıt hesabı ve program oluşturma arasında yakın bir ilişki olduğu daha önce gösterilmiştir (örneğin, Lisp benzeri yarı alıntılar): Aşamalı ifadeleri kayıt hesabı ifadelerine dönüştürmek için bir çeviri tanımlanmıştır ve aşamalı ve kayıt hesaplamalarının değere göre çağrı semantiğinin, çeviri ve yönetici azaltmalarına eşdeğer modülo olduğu gösterilmiştir. Bu çalışmada ilişkiyi daha ayrıntılı olarak araştırıyoruz. Katkılar iki yönlüdür: (1) İki operasyonel anlambilim arasında daha önce gösterilen ilişkiye ince ayar yaparız ve daha kesin sonuçlar elde ederiz. Özellikle yalnızca iki tür yönetici azaltmasının yeterli olduğunu ve bu azaltmaların kapsamlı bir şekilde uygulanabileceğini gösteriyoruz. (2) Kayıt hesabı ifadelerini aşamalı hesaba dönüştüren ve iki hesaplama arasında ileri geri gitmemize olanak tanıyan bir ters çeviri tanımlarız. Bu sonuçların, aşamalı ifadeler hakkında akıl yürütmek amacıyla halihazırda var olan kayıt hesabı statik analizlerinin yeniden kullanılmasına yönelik önemli bir adım sağladığına inanıyoruz.

Kaynağa git Özyeğin Üniversitesi Özyeğin Üniversitesi - Tarihî eser, arşiv ve süreli yayın arama motoru

Özyeğin Üniversitesi

Aşamalı Hesaplamayı Kayıt Hesabıyla İlişkilendirme

Yazar Aktemur, Tankut Barış, Choi, W.

Basım Tarihi 2010-09-06

Basım Yeri - Özyeğin University

Konu kayıt hesabı, program oluşturma

Tür Belge

Dil İngilizce

Dijital Evet

Yazma Hayır

Kütüphane Özyeğin Üniversitesi

Kayıt Numarası d0b76a85-da73-4bc8-b86e-2a62e6a1b6fd

Lokasyon Bilgisayar Bilimi

Tarih 2010-09-06

Örnek Metin Kayıt hesabı ve program oluşturma arasında yakın bir ilişki olduğu daha önce gösterilmiştir (örneğin, Lisp benzeri yarı alıntılar): Aşamalı ifadeleri kayıt hesabı ifadelerine dönüştürmek için bir çeviri tanımlanmıştır ve aşamalı ve kayıt hesaplamalarının değere göre çağrı semantiğinin, çeviri ve yönetici azaltmalarına eşdeğer modülo olduğu gösterilmiştir. Bu çalışmada ilişkiyi daha ayrıntılı olarak araştırıyoruz. Katkılar iki yönlüdür: (1) İki operasyonel anlambilim arasında daha önce gösterilen ilişkiye ince ayar yaparız ve daha kesin sonuçlar elde ederiz. Özellikle yalnızca iki tür yönetici azaltmasının yeterli olduğunu ve bu azaltmaların kapsamlı bir şekilde uygulanabileceğini gösteriyoruz. (2) Kayıt hesabı ifadelerini aşamalı hesaba dönüştüren ve iki hesaplama arasında ileri geri gitmemize olanak tanıyan bir ters çeviri tanımlarız. Bu sonuçların, aşamalı ifadeler hakkında akıl yürütmek amacıyla halihazırda var olan kayıt hesabı statik analizlerinin yeniden kullanılmasına yönelik önemli bir adım sağladığına inanıyoruz.