A core Erlang semantics for declarative debugging
Caballero, Rafael, Martin-Martin, Enrique, Riesco, Adrián, Tamarit, SalvadorМова:
english
Журнал:
Journal of Logical and Algebraic Methods in Programming
DOI:
10.1016/j.jlamp.2019.05.002
Date:
May, 2019
Файл:
PDF, 839 KB
english, 2019