Results 51 to 60 of about 27,292 (214)

Structure and Properties of Traces for Functional Programs [PDF]

, 2007
The tracer Hat records in a detailed trace the computation of a program written in the lazy functional language Haskell. The trace can then be viewed in various ways to support program comprehension and debugging.
Luo, Yong, Yong Luo, Olaf Chitil, Chitil, Olaf   +3 more
core   +1 more source

Research on JavaScript Code Protection Through Anti-debugging

工程科学与技术, 2015
:In order to eliminate the security threat to HTML5 applications posed by debugging JavaScript code during attack process, a method of protecting JavaScript code through anti-debugging was proposed.
陈晓江, 董浩, 房鼎益, 王怀军, 张凡   +4 more
doaj  

Mulr4FL: Effective Fault Localization of Evolution Software Based on Multivariate Logistic Regression Model

IEEE Access, 2020
Fault localization is indeed tedious and costly work during software maintenance. Studies indicate that combining both structural features and behavior characteristics of programs can be beneficial for improving the efficiency of fault locating.
Xiaolin Ju, Jie Qian, Zhihua Chen, Chunyu Zhao, Junyan Qian   +4 more
doaj   +1 more source

Logical debugging

Journal of Symbolic Computation, 1993
zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Nachum Dershowitz, Yuh-Jeng Lee
openaire   +2 more sources

Tracing and Debugging of Lazy Functional Programs - A Comparative Evaluation of Three Systems [PDF]

, 2000
In this paper we compare three systems for tracing and debugging Haskell programs: Freja, the Redex Trail System and Hood. We identify the similarities and differences of these systems and we evaluate their usefulness in practice by applying them to a ...
Runciman, Colin, Chitil, Olaf, Wallace, Malcolm   +2 more
core  

Abstract verification and debugging of constraint logic programs

, 2002
The technique of Abstract Interpretation [13] has allowed the development of sophisticated program analyses which are provably correct and practical. The semantic approximations produced by such analyses have been traditionally applied to optimization ...
Pedro López-garcía, Francisco Bueno, Hermenegildo, Manuel V., Bueno Carrillo, Francisco, Germán Puebla, López García, Pedro, Manuel Hermenegildo, Puebla Sánchez, Alvaro Germán   +7 more
core   +1 more source

Automated Debugging Mechanisms for Orchestrated Cloud Infrastructures With Active Control and Global Evaluation

IEEE Access
Orchestration methods at Infrastructure-as-a-Service (IaaS) level automate the deployment, scaling, and management of virtualized resources, typically across multiple hosts and data centres.
Jozsef Kovacs, Bence Ligetfalvi, Robert Lovas   +2 more
doaj   +1 more source

Early childhood preservice teachers debugging block-based programs: An eye tracking study

Journal of Childhood, Education & Society, 2020
Learning computational skills such as programming and debugging is very important for K-12 students given the increasing need of workforce proficient in computing technologies.
Lucas Vasconcelos, Ismahan Arslan-Ari, Fatih Ari   +2 more
doaj   +1 more source

Particle Swarm Optimization Algorithm for Detecting Distributed Predicates

IEEE Access, 2021
Metaheuristic algorithms are widely used to solve NP-complete problems in several domains. Distributed predicates detection is a fundamental distributed systems problem that has many useful applications.
Eslam Al Maghayreh, Habib Dhahiri, Fahad Albogamy, Mohamad Mahmoud Al Rahhal, Awais Mahmood, Esam Othman, Wail S. Elkilani   +6 more
doaj   +1 more source

Algorithmic debugging and trusted functions [PDF]

, 2007
As the name states, trusted functions do not have bugs. It is up to user to specify which function is trusted. Commonly used functions in standard library are normally trusted. In the process of algorithmic debugging, we search for faulty nodes to locate
Luo, Yong, Chitil, Olaf
core