Reversible debugging of concurrent Erlang programs: Supporting imperative primitives.
Pietro LamiIvan LaneseJean-Bernard StefaniClaudio Sacerdoti CoenGiovanni FabbrettiPublished in: J. Log. Algebraic Methods Program. (2024)
Keyphrases
- hardware designs
- java programs
- novice programmers
- high level
- cellular automata
- concurrent programs
- program slicing
- low level
- building blocks
- database
- model based diagnosis
- measurement data
- markov chain
- neural network
- computer programs
- programming environment
- automatic programming
- fault localization
- decision support
- reinforcement learning
- programs written
- database systems
- data sets