Sobiad Atıf Dizini

Kullanım Kılavuzu

Neden sadece 3 sonuç görüntüleyebiliyorum?

Sadece üye olan kurumların ağından bağlandığınız da tüm sonuçları görüntüleyebilirsiniz. Üye olmayan kurumlar için kurum yetkililerinin başvurması durumunda 1 aylık ücretsiz deneme sürümü açmaktayız.

Benim olmayan çok sonuç geliyor?

Birçok kaynakça da atıflar "Soyad, İ" olarak gösterildiği için özellikle Soyad ve isminin baş harfi aynı olan akademisyenlerin atıfları zaman zaman karışabilmektedir. Bu sorun tüm dünyadaki atıf dizinlerinin sıkça karşılaştığı bir sorundur.

Sadece ilgili makaleme yapılan atıfları nasıl görebilirim?

Makalenizin ismini arattıktan sonra detaylar kısmına bastığınız anda seçtiğiniz makaleye yapılan atıfları görebilirsiniz.

Makale Detay

Benzer Makaleler

Dergi Bilgisi

Eseri Dinleyin

Alıntı Yap

Bu Sayfayı Yazdırın

Paylaş

Mendeley

Endnote

Object Theories over List Superstructures

2012

Dergi:

The Bulletin of Irkutsk State University Series Mathematics

Yazar:

Özet:

In this paper the potential of semantic programming methods based on the theory of hereditarily finite list superstructures (GES) for the logical simulation of the object-oriented approach is considered and estimated. Based on GES, we develop a formal system, which is analogous to the description logic OODL, but in contrast with OODL, it allows the natural simulation of ordered data structures (e.g. lists and arrays). The formal system, which is introduced and investigated in this paper, can help for the development of the logical semantics of programming languages, in particular, the object-oriented programming language Libretto.

Anahtar Kelimeler:

Atıf Yapanlar