Results 31 to 40 of about 13,970 (291)
A Feedback System Supporting Students Approaching a High-Level Programming Course
Applied Sciences, 2022 This study analyzes the mistakes students are prone to make in programming and uses the GDB and Valgrind tools to implement dynamic analysis techniques for their eventual application to programs created by students.
Jong-Yih Kuo +3 more
doaj +1 more source
Slicing Concurrent Constraint Programs [PDF]
, 2017 Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)
Falaschi, Moreno +3 more
openaire +3 more sources
Program Slicing by Calculation [PDF]
, 2006 JUCS - Journal of Universal Computer Science Volume Nr.
F. Rodrigues, Nuno, Bar, Luís S.
openaire +2 more sources
ACM Transactions on Computational Logic, 2017 In the present article, we formally define the notion of abstract program slicing , a general form of program slicing where properties of data are considered instead of their exact value. This approach is applied to a language with numeric and reference values and relies on the notion of abstract ...
MASTROENI, Isabella, Damiano Zanardini
openaire +4 more sources
SymPas: Symbolic Program Slicing [PDF]
Journal of Computer Science and Technology, 2021 Program slicing is a technique for simplifying programs by focusing on selected aspects of their behavior. Current mainstream static slicing methods operate on dependence graph PDG (program dependence graph) or SDG (system dependence graph), but these friendly graph representations may be a bit expensive for some users.
openaire +3 more sources
Program slicing of Java programs
Journal of Logical and Algebraic Methods in Programming, 2023 This work has been partially supported by grant PID2019-104735RB-C41 funded by Spanish MCI/AEI/10.13039/501100011033, by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust), and by TAILOR, a project funded by EU Horizon 2020 research and innovation programme under GA No 952215.
Carlos Galindo +2 more
openaire +3 more sources
An operational guide to resin 3D printing of geological macromodels
MethodsX, 2022 Stereolithography (SLA) is a form of 3D printing that is based on the curing of resin under UV light. There are a wide variety of 3D resin printers on the market that all follow the same general procedure.
Mohamed Idris +2 more
doaj +1 more source
Static Vulnerability Detection Based on Neural Network and Code Similarity [PDF]
Jisuanji gongcheng, 2019 Static vulnerability detection is usually only used for text detection,which is efficient but prone to false positive.To address this problem,this paper proposes a vulnerability detection method based on code similarity and neural network.This paper ...
XIA Zhiyang, YI Ping, YANG Tao
doaj +1 more source
Investigation on Numerical Simulation of VIV of Deep-Sea Flexible Risers
Applied Sciences, 2023 The vortex-induced vibration (VIV) of flexible risers is a complex fluid–structure interaction (FSI) phenomenon. In this study, we conducted a numerical simulation method based on the slicing method to study the vortex-induced vibration (VIV) of deep-sea
Liyuan Jia +3 more
doaj +1 more source
Packet Optical Transport Network Slicing with Hard and Soft Isolation
Applied Sciences, 2021 Network operators have been dealing with the necessity of a dynamic network resources allocation to provide a new generation of customer-tailored applications.
Samier Barguil +14 more
doaj +1 more source