-
JavaScript, en yaygın ve en aktif kullanılan programlama dillerinden biridir; tc39 tarafından sürdürülen ecma 262 adlı dil belirtimi ve çeşitli uygulamalara sahiptir.
-
Özellikle E 262’nin yıllık sürümlerinde, belirtimin doğruluğunu ve uygunluğunu denetleyen otomatikleştirilmiş bir mekanizmanın eksikliği sorunlara yol açıyordu.
-
Düzyazı belirtimden makineleştirilmiş belirtimi otomatik olarak çıkaran ve uygunluk test programı sentezi ile tür analizi yürütme gibi çeşitli uygulamalara olanak tanıyan yeni bir yaklaşım önerildi.
-
Çıkarılan makineleştirilmiş belirtim sayesinde özel amaçlı dil uygulamaları otomatik olarak üretilebiliyor ve JavaScript dili geliştirmesinde fiilen kullanılabilmesi için açık kaynak olarak yayımlandı.
-
Programlama dili geliştirmeye yönelik umut vadeden yaklaşım, önce dili makineleştirilmiş belirtimle tasarlayıp ardından bundan hem düzyazı belirtimi hem de dil uygulamasını üretmek; bunun JavaScript için uygulanabilir ve pratik olduğu kanıtlandı.
-
Bu çalışmanın ayrıntıları ACM’nin Nisan 2024 tarihli Communications yayında görülebilir ve hem mevcut programlama dillerine hem de yeni programlama dillerine uygulanabilecek bir yöntem sunar.
4 yorum
Böyle şeyleri tanıtan haberlerde, işin aslına bakarsanız makalenin orijinaline giden bir bağlantı gibi şeylerin verilmesi ne yazık ki pek sık olmuyor.
Bazı basın kuruluşlarının bilimle ilgili haberlerinde, en altta haberde tanıtılan makaleyi bulabilmek için DOI yazdıklarını görüyorum; keşke böyle bir uygulama biraz daha yaygınlaşsa.
Her neyse, bu yüzden yukarıdaki haberde bahsedilen makale ve GitHub bağlantılarını ben doğrudan bulup getirdim.
Aa, ben de sadece haberi getirmiştim ama makaleyle ilgili içeriği tamamladığınız için teşekkürler!
eumayazım hatası gibi görünüyor!Aşağıda ilgili YouTube videosu yer alıyor.
https://www.youtube.com/watch?v=JGxc-KIUnQY
Yukarıdaki içerik Corely kullanılarak özetlenmiştir.
https://corely.ai/content/…