Execution traces and reduction sequences

04/11/2023

∙

by   Gilles Dowek, et al.

∙

0

∙

share

In this note, we defend that the notion of algorithm as a set of execution traces is somewhat independent of the notion of abstract state machine. It can be reformulated in the more general framework of small step operational semantics.