A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Bernhard Aichernig

doi:10.1007/978-3-030-31038-7

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Publikation: Beitrag in Buch/Bericht/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

Originalsprache	englisch
Titel	Unifying Theories of Programming
Untertitel	7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Redakteure/-innen	Pedro Ribeiro, Augusto Sampaio
Herausgeber (Verlag)	Springer
Seiten	22-38
Band	11885
DOIs	https://doi.org/10.1007/978-3-030-31038-7
Publikationsstatus	Veröffentlicht - 2019

Publikationsreihe

Name	Lecture Notes in Computer Science
Band	11885

Zugriff auf Dokument

10.1007/978-3-030-31038-7

Verlaesslichkeit im Internet der Dinge
Boano, C. A., Kubin, G., Bloem, R., Horn, M., Pernkopf, F., Zakany, N., Mangard, S., Witrisal, K., Römer, K. U., Aichernig, B., Bösch, W., Baunach, M. C., Tappler, M., Malenko, M., Weiser, S., Eichlseder, M., Leitinger, E., Grosinger, J., Großwindhager, B., Ebrahimi, M., Alothman Alterkawi, A. B., Knoll, C., Teschl, R., Saukh, O., Rath, M., Steinberger, M., Steinbauer-Wagner, G. & Tranninger, M.
1/01/16 → 31/03/22
Projekt: Forschungsprojekt

A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Bernhard Aichernig (Redner/in)
8 Okt. 2019
Aktivität: Vortrag oder Präsentation › Invited talk bei Konferenz oder Fachtagung › Science to science

Dieses 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/Konferenzband › Beitrag in einem Konferenzband › Begutachtung

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). Epub 2019 Sep 23. doi: 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 paper

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 -

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Publikationsreihe

Zugriff auf Dokument

Projekte

Verlaesslichkeit im Internet der Dinge

Aktivitäten

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Dieses zitieren