Skip to content
Free planNo credit card requiredStart writing
AI for Research home
AI for Research home
Dashboard
Sign inGet started

conference paper · Lecture notes in computer science · 2014

Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging

Adrián Riesco

Cited by 6Abstract and details only

Abstract

The index has no abstract for this paper. The publisher’s page may have one.

Cite this paper

APA 7

Riesco, A. (2014). Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging. Lecture notes in computer science, 52–68. https://doi.org/10.1007/978-3-319-07151-0_4

MLA 9

Riesco, Adrián. “Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.” Lecture notes in computer science, 2014, pp. 52–68, https://doi.org/10.1007/978-3-319-07151-0_4.

Chicago

Riesco, Adrián. 2014. “Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging.” Lecture notes in computer science: 52–68. https://doi.org/10.1007/978-3-319-07151-0_4.

Harvard

Riesco, A. (2014) ‘Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging’, Lecture notes in computer science, pp. 52–68. Available at: https://doi.org/10.1007/978-3-319-07151-0_4.

BibTeX
@article{riesco2014using,
  title = {{Using Big-Step and Small-Step Semantics in Maude to Perform Declarative Debugging}},
  author = {Riesco, Adrián},
  journal = {Lecture notes in computer science},
  pages = {52--68},
  year = {2014},
  doi = {10.1007/978-3-319-07151-0_4}
}

Made from the index record. Check names, capitalisation and page numbers against the paper. Need another style? AI for Research has over 10,000.

Related papers