Results 41 to 50 of about 6,471,570 (118)

The next 700 relational program logics [PDF]

Proc. ACM Program. Lang., 2019
We propose the first framework for defining relational program logics for arbitrary monadic effects. The framework is embedded within a relational dependent type theory and is highly expressive. At the semantic level, we provide an algebraic presentation
K. Maillard, Cătălin Hrițcu, Exequiel Rivas, Antoine Van Muylder   +3 more
semanticscholar   +1 more source

A Learning-Based Approach to Static Program Slicing

Proc. ACM Program. Lang.
Traditional program slicing techniques are crucial for early bug detection and manual/automated debugging of online code snippets. Nevertheless, their inability to handle incomplete code hinders their real-world applicability in such scenarios.
Aashish Yadavally, Yi Li, Shaohua Wang, Tien N. Nguyen   +3 more
semanticscholar   +1 more source

Quantitative program reasoning with graded modal types

Proc. ACM Program. Lang., 2019
In programming, some data acts as a resource (e.g., file handles, channels) subject to usage constraints. This poses a challenge to software correctness as most languages are agnostic to constraints on data.
Dominic A. Orchard, Vilem-Benjamin Liepelt, Harley D. Eades   +2 more
semanticscholar   +1 more source

FÜTÜVVET VE AHİLİK ÇALIŞMALARININ KAYNAKLARI

, 2021
Fütüvvet, İslami çerçevede iyi olan şeyleri yapma, kötü olan şeyleri de yapmama esasına dayalı ahlaklı bir hayat ve toplum inşa etme idealinin kurumsallaşmış adı denebilir.
Erdem, Ekrem, Ekrem ERDEM
core   +1 more source

API-Driven Program Synthesis for Testing Static Typing Implementations

Proc. ACM Program. Lang.
We introduce a novel approach for testing static typing implementations based on the concept of API-driven program synthesis. The idea is to synthesize type-intensive but small and well-typed programs by leveraging and combining application programming ...
T. Sotiropoulos, Stefanos Chaliasos, Zhendong Su   +2 more
semanticscholar   +1 more source

When Your Infrastructure Is a Buggy Program: Understanding Faults in Infrastructure as Code Ecosystems

Proc. ACM Program. Lang.
Modern applications have become increasingly complex and their manual installation and configuration is no longer practical. Instead, IT organizations heavily rely on Infrastructure as Code (IaC) technologies, to automate the provisioning, configuration,
Georgios-Petros Drosos, T. Sotiropoulos, Georgios Alexopoulos, Dimitris Mitropoulos, Zhendong Su   +4 more
semanticscholar   +1 more source

AutoPandas: neural-backed generators for program synthesis

Proc. ACM Program. Lang., 2019
Developers nowadays have to contend with a growing number of APIs. While in the long-term they are very useful to developers, many modern APIs have an incredibly steep learning curve, due to their hundreds of functions handling many arguments, obscure ...
Rohan Bavishi, Caroline Lemieux, Roy Fox, Koushik Sen, Ion Stoica   +4 more
semanticscholar   +1 more source

Kanal Entegrasyonunun Tüketici Güçlendirme, Ürün Çeşitliliği ve Algılanan Fayda Üzerindeki Etkisi: Satın Alma Kanalları Açısından Karşılaştırma

Teknolojide meydana gelen hızlı değişim, gerek iş hayatında gerekse bireylerin sosyal yaşantılarında farklılıklara neden olmuştur. Özellikle iş dünyasında tüketicilerin davranışlarındaki birtakım değişimler daha hızlı gerçekleşmiştir.
KURNUÇ, MURAT, AYKUT, OĞUZ HAN
core   +1 more source

An investigation of the 2018 social studies undergraduate program in terms of geography teaching: Academician views

, 2021
Eğitim Bilimleri Enstitüsü, Türkçe ve Sosyal Bilimler Eğitimi Ana Bilim Dalı, Sosyal Bilgiler Eğitimi Bilim DalıSosyal Bilgiler lisans programının coğrafya öğretimi açısından akademisyen görüşleri doğrultusunda incelenmesini esas alan bu araştırmanın ...
Kılınçoğlu, Mehmet Ethem
core  

The Effect Of Program Diversification Implementation İn Anadolu Imam Hatip High Schools On Religious Music Education

“Anadolu İmam Hatip Liselerinde Program Çeşitliliği Uygulamasının Dini Musiki Eğitimine Etkisi” başlıklı bu çalışma, imam hatip liselerinde uygulanan farklı program türlerinden birisi olan musiki programının, imam hatip liselerindeki musiki eğitimine ...
Turabi, Ahmet Hakkı, Çetin, Beytullah
core   +1 more source