Results 21 to 30 of about 9,721,114 (299)
The Lean 4 Theorem Prover and Programming Language
CADE, 2021 Lean 4 is a reimplementation of the Lean interactive theorem prover (ITP) in Lean itself. It addresses many shortcomings of the previous versions and contains many new features.
L. D. de Moura, S. Ullrich
semanticscholar +1 more source
Definitions, 2020 This report documents the program and the outcomes of Dagstuhl Seminar 23062 “Programming Language Processing” (PLP). The seminar brought together researchers and practitioners from three communities–software engineering, programming languages, and ...
Jie-Wen Yao, Vincent Zimmer
semanticscholar +2 more sources
Prompting Is Programming: A Query Language for Large Language Models [PDF]
Proc. ACM Program. Lang., 2022 Large language models have demonstrated outstanding performance on a wide range of tasks such as question answering and code generation. On a high level, given an input, a language model can be used to automatically complete the sequence in a ...
Luca Beurer-Kellner +2 more
semanticscholar +1 more source
A decision model for programming language ecosystem selection: Seven industry case studies
Information and Software Technology, 2021 Context: Software development is a continuous decision-making process that mainly relies on the software engineer’s experience and intuition. One of the essential decisions in the early stages of the process is selecting the best fitting programming ...
Siamak Farshidi, S. Jansen, Mahdi Deldar
semanticscholar +1 more source
Empirical Study on Defects in R Programming Language and Core Packages [PDF]
Jisuanji kexue, 2022 The R programming language that provides a variety of statistical calculation functions is considered to be one of the programming languages most suitable for artificial intelligence.The correctness of the language implementation is a prerequisite for ...
WANG Zi-yuan, BU De-xin, LI Ling-ling, ZHANG Xia
doaj +1 more source
C in CS1: Snags and Viable Solution
Mehran University Research Journal of Engineering and Technology, 2018 Programming is one of the career rewarding skills; however, learning programming skill is extremely hard and arduous as supported by several studies.
Shumail Naveed +2 more
doaj +3 more sources
Ontology of Pragmatic Knowledges on Program Implementation
Современные информационные технологии и IT-образование, 2022 Swift development of the information technologies as well as a notable variability of methodological settings in the professional education entail a chronic volatility of the hole complex of didactic guides and study manuals in the current practice of ...
Andrey Gagarin
doaj +1 more source
A DSL for Resource Checking Using Finite State Automaton-Driven Symbolic Execution
Open Computer Science, 2020 Static analysis is an essential way to find code smells and bugs. It checks the source code without execution and no test cases are required, therefore its cost is lower than testing.
Fülöp Endre, Pataki Norbert
doaj +1 more source
SGLang: Efficient Execution of Structured Language Model Programs [PDF]
Neural Information Processing Systems, 2023 Large language models (LLMs) are increasingly used for complex tasks that require multiple generation calls, advanced prompting techniques, control flow, and structured inputs/outputs.
Lian-Min Zheng +11 more
semanticscholar +1 more source
Teaching Large Language Models to Self-Debug [PDF]
International Conference on Learning Representations, 2023 Large language models (LLMs) have achieved impressive performance on code generation. However, for complex programming tasks, generating the correct solution in one go becomes challenging, thus some prior works have designed program repair approaches to ...
Xin-Yun Chen +3 more
semanticscholar +1 more source