Results 91 to 100 of about 360,109 (345)
Type substitution for object-oriented programming
Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications - OOPSLA/ECOOP '90, 1990 Genericity allows the substitution of types in a class. This is usually obtained through parameterized classes, although they are inflexible since any class can be inherited but is not in itself parameterized. We suggest a new genericity mechanism, type substitution , which is a subclassing concept that complements ...
Schwartzbach, Michael Ignatieff +1 more
openaire +4 more sources
Advanced Engineering Materials, EarlyView.This study explores the energy conversion in powder bed fusion of polymers using laser beam for polyamide 12 and polypropylene powders. It combines material and process data, using dimensionless parameters and numerical models, to enable the prediction of suitable printing parameters.
Christian Schlör +9 more
wiley +1 more source
Hoare Logic for Quantum Programs [PDF]
arXiv, 2009 Hoare logic is a foundation of axiomatic semantics of classical programs and it provides effective proof techniques for reasoning about correctness of classical programs. To offer similar techniques for quantum program verification and to build a logical foundation of programming methodology for quantum computers, we develop a full-fledged Hoare logic ...
arxiv
Object Oriented Programming [PDF]
Exam paper for first semester: Object Oriented ...
University of Johannesburg
core
Powder Metallurgy and Additive Manufacturing of High‐Nitrogen Alloyed FeCr(Si)N Stainless Steel
Advanced Engineering Materials, EarlyView.The alloying element Nitrogen enhances stainless steel strength, corrosion resistance, and stabilizes austenite. This study develops austenitic FeCr(Si)N steel production via powder metallurgy. Fe20Cr and Si3N4 are hot isostatically pressed, creating an austenitic microstructure.
Louis Becker +5 more
wiley +1 more source
Вестник Самарского государственного технического университета. Серия: Психолого-педагогические науки, 2015 This article is devoted to the ways of teaching object-oriented programming of bachelors of pedagogical education in network community. The author considers educational possibilities of network community, pedagogical features of teaching of object ...
Diana V. Moglan
doaj
Eye movements dataset for objective-based assessment of object-oriented programming knowledge. [PDF]
Data Brief, 2023 K R C, J A.
europepmc +1 more source
Transpiling Programmable Computable Functions to Answer Set Programs [PDF]
arXiv, 2018 Programming Computable Functions (PCF) is a simplified programming language which provides the theoretical basis of modern functional programming languages. Answer set programming (ASP) is a programming paradigm focused on solving search problems. In this paper we provide a translation from PCF to ASP.
arxiv
Advanced Engineering Materials, EarlyView.This article concerns room temperature tensile testing, with a range of (nominal) strain rates, of three titanium alloys. Stress–strain curves are analyzed to obtain creep characteristics. Profilometry‐based indentation plastometry testing is also covered, using different penetration velocities, and correlations established with tensile data.
Philip John McKeown +2 more
wiley +1 more source
An Object-Oriented HLA Simulation Study
Cybernetics and Information Technologies, 2015 The study is dedicated to High Level Architecture (HLA) standard for software architecture of interoperable distributed simulations. The paper discusses the differences between object-oriented programming and HLA.
Kirov Georgi
doaj +1 more source