A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Originalspracheenglisch
TitelUnifying Theories of Programming
Untertitel7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Redakteure/-innenPedro Ribeiro, Augusto Sampaio
Herausgeber (Verlag)Springer
Seiten22-38
Band11885
DOIs
PublikationsstatusVeröffentlicht - 2019

Publikationsreihe

Name Lecture Notes in Computer Science
Band11885

Dies zitieren

Aichernig, B. (2019). A Testing Perspective on Algebraic, Denotational, and Operational Semantics. in P. Ribeiro, & A. Sampaio (Hrsg.), 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 (Band 11885, S. 22-38). ( Lecture Notes in Computer Science; Band 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. Hrsg. / Pedro Ribeiro; Augusto Sampaio. Band 11885 Springer, 2019. S. 22-38 ( Lecture Notes in Computer Science; Band 11885).

Publikation: Beitrag in Buch/Bericht/KonferenzbandBeitrag in einem KonferenzbandForschungBegutachtung

Aichernig, B 2019, A Testing Perspective on Algebraic, Denotational, and Operational Semantics. in P Ribeiro & A Sampaio (Hrsg.), 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. Bd. 11885, Lecture Notes in Computer Science, Bd. 11885, Springer, S. 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, Hrsg., 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. Band 11885. Springer. 2019. S. 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. Hrsg. / Pedro Ribeiro ; Augusto Sampaio. Band 11885 Springer, 2019. S. 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 -