Results 81 to 90 of about 27,292 (214)

Towards a Theory of Tracing for Functional Programs based on Graph Rewriting [PDF]

, 2006
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  

Reversible Debugging of Erlang Programs in CauDEr [PDF]

This talk presents the notion of causal-consistent reversible debugging and its instance on Erlang provided by CauDEr. Reversible debugging allows us to explore an execution back and forth looking for a bug.
Lanese I., Vidal G.
core   +1 more source

ai4security-debugging

, 2023
SW 소스코드 자동수정을 위한 AI모델 및 학습 방안 ...
anonymous anonymous (5751109)
core   +1 more source

Prospective mathematics teachers’ mental actions related to debugging in technology supported mathematical modeling [PDF]

Journal of Pedagogical Research
The study aims to investigate prospective middle school mathematics teachers’ mental actions related to debugging, which is one of the computational thinking skills in the modeling process. The study was conducted with a nested multiple-case model.
Süleyman Emre Aktaş, Çağlar Naci Hıdıroğlu   +1 more
doaj   +1 more source

Video-based visualization of debugging process [PDF]

One of the current trends in education is microlearning, which involves the use of short videos in the learning process. Microlearning has a number of advantages, including the fact that this approach is more student-centered, aims to increase the level ...
Shynkarenko, V.I., Zhevaho, О.O.
core  

Dissertation title: decoupling analysis of building carbon emissions and economic growth based on Tapio model and EKC curve

Carbon Balance and Management
Background China is a major carbon emitter in the construction industry and the world’s second-largest economy. Clarifying the scientific relationship between carbon emissions and economic development has prominence realistic meaning for China and even ...
Wei Sun, Zhenggang Huo, Sensen Zhang
doaj   +1 more source

Object-centric debugging

2012 34th International Conference on Software Engineering (ICSE), 2012
During the process of developing and maintaining a complex software system developers pose detailed questions about the runtime behavior of the system. Source code views offer strictly limited insights so developers often turn to tools like debuggers to inspect and interact with the running system.
Jorge Ressia, Alexandre Bergel, Oscar Nierstrasz   +2 more
openaire   +2 more sources

Active learning of debugging practices and effects in high schools [PDF]

openImparare a eseguire il debug è un aspetto difficile, ma essenziale, dell'apprendimento della programmazione e alle scuole superiori spesso non viene insegnato esplicitamente.
MARTINI, MATTEO
core  

Enumerating Counter-Factual Type Error Messages with an Existing Type Checker (poster+demo) [PDF]

, 2014
The Hindley-Milner type system is a foundation for most statically typed functional programming languages, such as ML, OCaml and Haskell. This type system has many advantageous, but it does make type debugging hard: If a program is not well-typed, it ...
Chitil, Olaf, Tsushima, Kanae
core  

Enhanced debugging with traces [PDF]

Communications of the ACM, 2010
An essential technique used in emulator development is a useful addition to any programmer's toolbox.
openaire   +1 more source