A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Original languageEnglish
Title of host publicationUnifying Theories of Programming
Subtitle of host publication7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
EditorsPedro Ribeiro, Augusto Sampaio
PublisherSpringer
Pages22-38
Volume11885
DOIs
Publication statusPublished - 2019

Publication series

Name Lecture Notes in Computer Science
Volume11885

Cite this

Aichernig, B. (2019). A Testing Perspective on Algebraic, Denotational, and Operational Semantics. In P. Ribeiro, & A. Sampaio (Eds.), Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings (Vol. 11885, pp. 22-38). ( Lecture Notes in Computer Science; Vol. 11885). Springer. https://doi.org/10.1007/978-3-030-31038-7

A Testing Perspective on Algebraic, Denotational, and Operational Semantics. / Aichernig, Bernhard.

Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. ed. / Pedro Ribeiro; Augusto Sampaio. Vol. 11885 Springer, 2019. p. 22-38 ( Lecture Notes in Computer Science; Vol. 11885).

Research output: Chapter in Book/Report/Conference proceedingConference contributionResearchpeer-review

Aichernig, B 2019, A Testing Perspective on Algebraic, Denotational, and Operational Semantics. in P Ribeiro & A Sampaio (eds), Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. vol. 11885, Lecture Notes in Computer Science, vol. 11885, Springer, pp. 22-38. https://doi.org/10.1007/978-3-030-31038-7
Aichernig B. A Testing Perspective on Algebraic, Denotational, and Operational Semantics. In Ribeiro P, Sampaio A, editors, Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. Vol. 11885. Springer. 2019. p. 22-38. ( Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-030-31038-7
Aichernig, Bernhard. / A Testing Perspective on Algebraic, Denotational, and Operational Semantics. Unifying Theories of Programming: 7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings. editor / Pedro Ribeiro ; Augusto Sampaio. Vol. 11885 Springer, 2019. pp. 22-38 ( Lecture Notes in Computer Science).
@inproceedings{9b636414f13b4a80a3fa92009cd08628,
title = "A Testing Perspective on Algebraic, Denotational, and Operational Semantics",
author = "Bernhard Aichernig",
year = "2019",
doi = "10.1007/978-3-030-31038-7",
language = "English",
volume = "11885",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "22--38",
editor = "Pedro Ribeiro and Augusto Sampaio",
booktitle = "Unifying Theories of Programming",

}

TY - GEN

T1 - A Testing Perspective on Algebraic, Denotational, and Operational Semantics

AU - Aichernig, Bernhard

PY - 2019

Y1 - 2019

U2 - 10.1007/978-3-030-31038-7

DO - 10.1007/978-3-030-31038-7

M3 - Conference contribution

VL - 11885

T3 - Lecture Notes in Computer Science

SP - 22

EP - 38

BT - Unifying Theories of Programming

A2 - Ribeiro, Pedro

A2 - Sampaio, Augusto

PB - Springer

ER -