Crossmark

A core Erlang semantics for declarative debugging

Crossref DOI link: https://doi.org/10.1016/j.jlamp.2019.05.002

Published Print: 2019-10

Update policy: https://doi.org/10.1016/elsevier_cm_policy

Authors

Caballero, Rafael https://orcid.org/0000-0001-8181-5532
Martin-Martin, Enrique https://orcid.org/0000-0002-1664-018X
Riesco, Adrián https://orcid.org/0000-0002-9716-4612
Tamarit, Salvador https://orcid.org/0000-0001-5103-4153
Funding

Funding for this research was provided by:

Comunidad de Madrid

Ministerio de Economía y Competitividad
License Information

Text and Data Mining valid from 2019-10-01

Text and Data Mining valid from 2019-10-01

Version of Record valid from 2023-10-07

stm-asf valid from 2019-10-01

stm-asf valid from 2019-10-01

stm-asf valid from 2019-10-01

stm-asf valid from 2019-10-01

stm-asf valid from 2019-10-01
More Information

This article is maintained by: Elsevier

Article Title: A core Erlang semantics for declarative debugging

Journal Title: Journal of Logical and Algebraic Methods in Programming

CrossRef DOI link to publisher maintained version: https://doi.org/10.1016/j.jlamp.2019.05.002

Content Type: article

Copyright: © 2019 Elsevier Inc.