Search Results - "programming by example"

Programming by Example meets Historical Linguistics: A Large Language Model Based Approach to Sound Law Induction

Authors: Naik, Atharva Agrawal, Darsh Sng, Hong et al.

Source: Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). :29628-29647

Subject Terms: FOS: Computer and information sciences, Computer Science - Computation and Language, Computation and Language (cs.CL)

Access URL: http://arxiv.org/abs/2501.16524

Programming by Example Made Easy

Authors: Jiarong Wu Lili Wei Yanyan Jiang et al.

Source: ACM Transactions on Software Engineering and Methodology. 33:1-36

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, Programming by example, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Program synthesis, Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2307.07965

Governing Open Vocabulary Data Leaks Using an Edge LLM through Programming by Example

Authors: Qiyu Li Jinhe Wen Haojian Jin

Source: Proceedings of the ACM on Interactive, Mobile, Wearable and Ubiquitous Technologies. 8:1-31

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

A Study on Interdisciplinary Teaching of Elementary School Science Based on Graphical Programming: An Example of 'A Journey to Explore the Solar System'

Authors: Mei Xie Wen Xiao Shiji Zhu et al.

Source: 2024 6th International Conference on Computer Science and Technologies in Education (CSTE). :352-356

A STEAM Approach to Teaching Programming: The Example of Mandala Art

Authors: Li-Hsiang Hung Chih-Hung Yu Chiu-Fan Hu et al.

Source: Proceedings of the 30th ACM Conference on Innovation and Technology in Computer Science Education V. 2. :749-750

Semantic programming by example with pre-trained models

Authors: Gust Verbruggen Vu Le Sumit Gulwani

Source: Proceedings of the ACM on Programming Languages

Subject Terms: 4613 Theory of computation, Technology, Science & Technology, language models, Computer Science, 4903 Numerical and computational mathematics, 0202 electrical engineering, electronic engineering, information engineering, 4612 Software engineering, 02 engineering and technology, Computer Science, Software Engineering, program synthesis, programming by example

Access URL: https://dl.acm.org/doi/pdf/10.1145/3485477
https://dblp.uni-trier.de/db/journals/pacmpl/pacmpl5.html#VerbruggenLG21
https://dl.acm.org/doi/10.1145/3485477
https://dl.acm.org/doi/pdf/10.1145/3485477
https://lirias.kuleuven.be/handle/20.500.12942/697357
https://doi.org/10.1145/3485477

Software Model for Robot Programming and Example of Implementation for Navigation System

Authors: Chaychi, Samira Reis, Sandro Zampunieris, Denis

Source: 2023 9th International Conference on Automation, Robotics and Applications (ICARA). :75-79

Subject Terms: Computer science [C05] [Engineering, computing & technology], robot navigation, separation of concerns, proactive computing, Sciences informatiques [C05] [Ingénierie, informatique & technologie], software design

Access URL: http://orbilu.uni.lu/handle/10993/54804

The Parallelization of Computations for Ensuring Information Security in Connected Vehicle Systems Using Q-Effective Programming: The Example of Dijkstra’s Algorithm

Authors: Mikhail P. Sokolov Pavel A. Manatin Natalya D. Zyulyarkina

Source: 2023 International Russian Smart Industry Conference (SmartIndustryCon). :438-442

FlashFill++: Scaling Programming by Example by Cutting to the Chase

Authors: José Cambronero Sumit Gulwani Vu Le et al.

Source: Proceedings of the ACM on Programming Languages. 7:952-981

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Programming by Example Made Easy

Authors: Wu, Jiarong Wei, Lili Jiang, Yanyan et al.

Index Terms: Program synthesis, Programming by example, Article

URL: http://repository.hkust.edu.hk/ir/Record/1783.1-135939
https://doi.org/10.1145/3607185
http://lbdiscover.ust.hk/uresolver?url_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rfr_id=info:sid/HKUST:SPI&rft.genre=article&rft.issn=1049-331X&rft.volume=33&rft.issue=1&rft.date=2024&rft.spage=&rft.aulast=Wu&rft.aufirst=Jiar&rft.atitle=Programming+by+Example+Made+Easy&rft.title=ACM+TRANSACTIONS+ON+SOFTWARE+ENGINEERING+AND+METHODOLOGY
http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcAuth=LinksAMR&SrcApp=PARTNER_APP&DestLinkType=FullRecord&DestApp=WOS&KeyUT=001168576700005
http://www.scopus.com/record/display.url?eid=2-s2.0-85183781962&origin=inward

Programming-by-Example with Nested Examples

Authors: Tomer Katz Hila Peleg

Source: 2023 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC). :280-282

Microsoft Excel 2013 Programming by Example with VBA, XML, and ASP

Authors: Julitta Korol

Programming Every Example: Lifting Pre-training Data Quality Like Experts at Scale

Authors: Zhou, Fan Wang, Zengzhi Liu, Qian et al.

Index Terms: Computer Science - Computation and Language, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, text

URL: http://arxiv.org/abs/2409.17115

Is Programming by Example solved by LLMs?

Authors: Li, Wen-Ding Ellis, Kevin

Subject Terms: Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Machine Learning, Computer Science - Software Engineering, Computer Science - Computation and Language, Computer Science - Programming Languages, Artificial Intelligence (cs.AI), Computer Science - Artificial Intelligence, Computation and Language (cs.CL), Machine Learning (cs.LG), Programming Languages (cs.PL)

Access URL: http://arxiv.org/abs/2406.08316

Microsoft Access 2019 Programming by Example with VBA, XML, and ASP

Authors: Julitta Korol

Kotlin Programming By Example : Build Real-world Android and Web Applications the Kotlin Way

Authors: Iyanu Adelekan

Resource Type: eBook.

Subjects: Mobile computing

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / Open Source, COMPUTERS / Programming / Mobile Devices

SynGuar: guaranteeing generalization in programming by example

Authors: Bo Wang Teodora Baluta Aashish Kolluri et al.

Source: Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering. :677-689

Subject Terms: D.3.0, Software Engineering (cs.SE), FOS: Computer and information sciences, Computer Science - Software Engineering, Computer Science - Programming Languages, D.2.0, 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology, Programming Languages (cs.PL)

Access URL: https://dl.acm.org/doi/pdf/10.1145/3468264.3468621
http://arxiv.org/abs/2106.11610
https://arxiv.org/pdf/2106.11610.pdf
https://arxiv.org/abs/2106.11610
https://ui.adsabs.harvard.edu/abs/2021arXiv210611610W/abstract
https://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-11610
https://dl.acm.org/doi/pdf/10.1145/3468264.3468621

Data-centric disambiguation for data transformation with programming-by-example

Authors: Nolwenn Maudet Yi Lu Minori Narita et al.

Source: 26th International Conference on Intelligent User Interfaces. :454-463

Subject Terms: 0202 electrical engineering, electronic engineering, information engineering, 02 engineering and technology

Access URL: https://univoak.eu/islandora/object/islandora%3A119733/datastream/PDF/view
https://dblp.uni-trier.de/db/conf/iui/iui2021.html#NaritaMLI21
https://dl.acm.org/doi/pdf/10.1145/3397481.3450680

Rust Programming By Example : Enter the World of Rust by Building Engaging, Concurrent, Reactive, and Robust Applications

Authors: Guillaume Gomez Antoni Boucher

Resource Type: eBook.

Subjects: Ruby (Computer program language), Object-oriented programming languages

Categories: COMPUTERS / Languages / Java, COMPUTERS / Programming / Parallel, COMPUTERS / Hardware / Cell Phones & Devices

Comparative Study of AMPL, Pyomo and JuMP Optimization Modeling Languages on a Network Linear Programming Problem Example

Authors: Andrzej Karbowski Krzysztof Wyskiel

Source: Pomiary Automatyka Robotyka. 25:23-30

Subject Terms: 0502 economics and business, 05 social sciences

Access URL: http://www.par.pl/content/download/15127/186968/file/ComparativeStudyAMPLPyomoJuMPOptimizationModelingLanguages.pdf