Results 21 to 30 of about 6,611,777 (348)
The paradigms of programming [PDF]
Communications of the ACM, 1979 Today I want to talk about the paradigms of programming, how they affect our success as designers of computer programs, how they should be taught, and how they should be embodied in our programming languages.
openaire +4 more sources
Alternation as a programming paradigm [PDF]
Proceedings of the 11th ACM SIGPLAN conference on Principles and practice of declarative programming, 2009 Alternation is a common tool in complexity theory, where it has been used to prove various complexity classifications. In this work, we show that it can also be used to enhance the expressive power of the imperative part of a programming language. In particular, we present Alter-Java -- an extension of Java by language constructs to express alternation,
Stefan Woltran +3 more
openaire +2 more sources
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. Moura, Sebastian Ullrich
semanticscholar +1 more source
ComTech, 2011 This article discusses several paradigms used in developing computer programs which is varied from the classical – goto programming, until the modern one – object oriented programming.
Subandijo Subandijo
doaj +1 more source
Qiskit pulse: programming quantum computers through the cloud with pulses [PDF]
Quantum Science and Technology, 2020 The quantum circuit model is an abstraction that hides the underlying physical implementation of gates and measurements on a quantum computer. For precise control of real quantum hardware, the ability to execute pulse and readout-level instructions is ...
Thomas Alexander +6 more
semanticscholar +1 more source
TWO-LEVEL STUDY OF OBJECT-ORIENTED PROGRAMMING BY UNIVERSITY STUDENTS
Современные информационные технологии и IT-образование, 2019 The difficulties of learning the paradigm of object-oriented programming by university students are considered. Two approaches to learn object-oriented programming: Object-First (learning this paradigm at the start of programming learning) and Object ...
Tatiana A. Dmitrieva +2 more
doaj +1 more source
Exploring Conversational Programming through the CHOP Paradigm and Artificial Intelligence [PDF]
Informatică economicăChat-Oriented Programming (CHOP) is an emerging conceptual approach to programming, focused on the interaction between programmers and conversational interfaces based on artificial intelligence (AI).
Alin ZAMFIROIU +4 more
doaj +1 more source
Introductory Programming Subject in European Higher Education
Informatics in Education, 2016 Programming is one of the basic subjects in most informatics, computer science mathematics and technical faculties' curricula. Integrated overview of the models for teaching programming, problems in teaching and suggested solutions were presented in this
Veljko ALEKSIĆ, Mirjana IVANOVIĆ
doaj +1 more source
Choco-solver: A Java library for constraint programming
Journal of Open Source Software, 2022 Constraint Programming (CP) is a powerful programming paradigm for solving combinatorial search problems (Rossi et al., 2006). CP is at the intersection of artificial intelligence, computer science, operations research, and many other fields.
Charles Prud’homme +1 more
semanticscholar +1 more source
Pure Compiled Execution as a Programming Paradigm
Труды Института системного программирования РАН, 2018 Interpreted execution of computer programs, its capabilities and advantages is well-covered in the computer science literature. Its key feature is reflection: the ability to access and modify the source code at run time.
A. V. Stolyarov +2 more
doaj +1 more source