Results 31 to 40 of about 6,932,520 (386)
Programming Paradigms, Turing Completeness and Computational Thinking [PDF]
The Art, Science, and Engineering of Programming, 2020, Vol. 4,
Issue 3, Article 4, 2020 The notion of programming paradigms, with associated programming languages and methodologies, is a well established tenet of Computer Science pedagogy, enshrined in international curricula. However, this notion sits ill with Kuhn's classic conceptualisation of a scientific paradigm as a dominant world view, which supersedes its predecessors through ...
arxiv +1 more source
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
Sensors, 2023 The paper proposes a topology-free specification of distributed control systems by means of a process-oriented programming paradigm. The proposed approach was characterized, on the one hand, by a topologically independent specification of the control ...
Vladimir E. Zyubin +3 more
doaj +1 more source
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
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
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
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
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