Results 21 to 30 of about 360,109 (345)
Automated Termination Analysis for Logic Programs with Cut [PDF]
Theory and Practice of Logic Programming, 10(4-6), 365-381, 2010, 2010 Termination is an important and well-studied property for logic programs. However, almost all approaches for automated termination analysis focus on definite logic programs, whereas real-world Prolog programs typically use the cut operator. We introduce a novel pre-processing method which automatically transforms Prolog programs into logic programs ...
arxiv +1 more source
Teaching reform and practice of object-oriented programming course [PDF]
SHS Web of Conferences, 2023 This article aims at the deficiencies in the teaching of object-oriented programming courses in our school, guided by the OBE teaching concept, and aimed at cultivating applied talents.
Chen Yanhua
doaj +1 more source
In Praise of Impredicativity: A Contribution to the Formalisation of Meta-Programming [PDF]
Theory and Practice of Logic Programming, pages 1-48, 25 February
2019, 2018 Processing programs as data is one of the successes of functional and logic programming. Higher-order functions, as program-processing programs are called in functional programming, and meta-programs, as they are called in logic programming, are widespread declarative programming techniques.
arxiv +1 more source
PEDAGOGICAL ASPECTS OF OBJECT-ORIENTED THOUGHT AND PROGRAMMING PROCESS DEVELOPING [PDF]
Krymskij Naučnyj Vestnik, 2015 We discuss the methodology of teaching object-oriented design and programming. We highlight two types of problems encountered in the teaching and learning of the object-oriented programming (understanding of basic concepts, choice of the programming ...
Seidametova Zarema +2 more
doaj
Minecraft: An Engaging Platform to Learn Programming [PDF]
arXiv, 2022 Teaching programming effectively is difficult. This paper explores the benefits of using Minecraft Education Edition to teach Python programming. Educators can use the game to teach various programming concepts ranging from fundamental programming concepts, object-oriented programming, event-driven programming, and parallel programming.
arxiv
A Review of Object-Oriented Programming Software Metrics [PDF]
المجلة العراقية للعلوم الاحصائية, 2019 It is no secret that the software industry in the present and future time is the leading industry and the main element in any new technology and is involved in most modern industries, from the smallest ones such as mobile phones and smart watches to the ...
Mariam Hussian, Mohammed Aldabbag
doaj +1 more source
A Logic of Object-Oriented Programs [PDF]
, 1997 We develop a logic for reasoning about object-oriented programs. The logic is for a language with an imperative semantics and aliasing, and accounts for self-reference in objects. It is much like a type system for objects with subtyping, but our specifications go further than types in detailing pre- and postconditions.
K. Rustan M. Leino, Martín Abadi
openaire +2 more sources
Polyglot: Jurnal Ilmiah, 2018 In general, many people learn structured programming first and then learn object-oriented programming. This makes it difficult for someone to learn object-oriented programming.
Dodi Dodi +2 more
doaj +1 more source
Novel software techniques for automatic microwave measurements [PDF]
, 1996 Although many microwave measurement techniques are heavily based on special purpose software, the application of modern software techniques like object oriented programming and new programming language like C++ is seldom used.
A. Ferrero +3 more
core +2 more sources
The Object Oriented Programming for Queuing System [PDF]
Computer Science Journal of Moldova, 1993 The object oriented programming approach for priority service systems with orientation is developed. It provide fast evaluation of the characteristics.
I. Grama, G. Mishkoy
doaj