Results 31 to 40 of about 6,471,570 (118)

Combining the top-down propagation and bottom-up enumeration for inductive program synthesis

Proc. ACM Program. Lang., 2021
We present an effective method for scalable and general-purpose inductive program synthesis. There have been two main approaches for inductive synthesis: enumerative search, which repeatedly enumerates possible candidate programs, and the top-down ...
Woosuk Lee
semanticscholar   +1 more source

Advancing the science of evaluating Collegiate Recovery Program processes and outcomes: A recovery capital perspective

Evaluation and Program Planning, 2022
Collegiate recovery programs (CRPs) offer resources and programming for postsecondary students in addiction recovery to ensure they can initiate or maintain their recovery and complete college.
E. Hennessy, Lindsey M. Nichols, Tiffany B. Brown, E. Tanner‐Smith   +3 more
semanticscholar   +1 more source

LooPy: interactive program synthesis with control structures

Proc. ACM Program. Lang., 2021
One vision for program synthesis, and specifically for programming by example (PBE), is an interactive programmer's assistant, integrated into the development environment.
Kasra Ferdowsifard, Shraddha Barke, Hila Peleg, Sorin Lerner, N. Polikarpova   +4 more
semanticscholar   +1 more source

APIfix: output-oriented program synthesis for combating breaking changes in libraries

Proc. ACM Program. Lang., 2021
Use of third-party libraries is extremely common in application software. The libraries evolve to accommodate new features or mitigate security vulnerabilities, thereby breaking the Application Programming Interface(API) used by the software.
Xiang Gao, Arjun Radhakrishna, Gustavo Soares, Ridwan Shariffdeen, Sumit Gulwani, Abhik Roychoudhury   +5 more
semanticscholar   +1 more source

Türkiye Yüzyılı Maarif Modeli Ortaokul Matematik Dersi Öğretim Programında Ölçme ve Değerlendirme Yaklaşımının Analizi

İstanbul Eğitim Dergisi
Bu araştırmanın amacı Türkiye Yüzyılı Maarif Modeli çerçevesinde Ortaokul Matematik Dersi Öğretim Programında benimsenen ölçme ve değerlendirme yaklaşımını incelemektir.
İlknur Güneş, Fatmanur Dursun, Bülent Alcı   +2 more
semanticscholar   +1 more source

Ngarraanga Giinganay ('thinking peacefully'): Co-design and pilot study of a culturally-grounded mindfulness-based stress reduction program with older First Nations Australians.

Evaluation and Program Planning, 2021
First Nations 'survivors' are ageing in increasing numbers. Life-course stress and depression are of concern for older First Nations Australians, yet there are limited psychosocial interventions.
Louise M. Lavrencic, Terrence Donovan, L. Moffatt, Tamara Keiller, Wendy Allan, K. Delbaere, K. Radford   +6 more
semanticscholar   +1 more source

Program geliştirmenin ilk basamağı: Yabancı dil olarak Türkçe öğretiminde ihtiyaç ve durum analizi [PDF]

, 2013
Yabancı dil olarak Türkçe Öğretimini (YDTÖ) temelleri henüz yeni kurulan bir disiplin olarak ele aldığımızda, öncelikle öğrencilerin ve öğretmenlerin görüşleri ışığında öğrenci ihtiyaçlarını belirlemek, öğrencilerin eğitim ortamına etkin katılımlarını ...
Koçer, Ömer
core  

Program synthesis using abstraction refinement [PDF]

Proc. ACM Program. Lang., 2017
We present a new approach to example-guided program synthesis based on counterexample-guided abstraction refinement. Our method uses the abstract semantics of the underlying DSL to find a program P whose abstract behavior satisfies the examples. However,
Xinyu Wang, Işıl Dillig, Rishabh Singh
semanticscholar   +1 more source

Türkiye yerli keçi ırklarının mitokondrial DNA çeşitliliği ve filocoğrafyası

, 2010
Keçilerle ilgili filogenetik çalışmalarda mitokondri DNA'sı, türlerin coğrafi dağılımına göre farklılıklar göstermesi, genomik DNA'ya oranla daha hızlı evrimleşmesi, rekombinasyon olmayışı ve maternal kalıtılması gibi özelliklerinden dolayı sıklıkla ...
Çınar Kul, Bengi
core   +1 more source

Automated Program Refinement: Guide and Verify Code Large Language Model with Refinement Calculus

Proc. ACM Program. Lang.
Recently, the rise of code-centric Large Language Models (LLMs) has reshaped the software engineering world with low-barrier tools like Copilot that can easily generate code.
Yufan Cai, Zhe Hou, David Sanán, Xiaokun Luan, Yun Lin, Jun Sun, Jin Song Dong   +6 more
semanticscholar   +1 more source