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

Bernhard Aichernig

Research output: Chapter in Book/Report/Conference proceeding › Conference paper › peer-review

Original language	English
Title of host publication	Unifying Theories of Programming
Subtitle of host publication	7th International Symposium, UTP 2019, Dedicated to Tony Hoare on the Occasion of His 85th Birthday, Porto, Portugal, October 8, 2019, Proceedings
Editors	Pedro Ribeiro, Augusto Sampaio
Publisher	Springer
Pages	22-38
Volume	11885
DOIs	https://doi.org/10.1007/978-3-030-31038-7
Publication status	Published - 2019

Publication series

Name	Lecture Notes in Computer Science
Volume	11885

Access to Document

10.1007/978-3-030-31038-7

Dependable Internet of Things
Pernkopf, F. (Contact person), Zakany, N. (Contact person), Eichlseder, M. (Contact person), Saukh, O. (Contact person), Mangard, S. (Contact person), Steinbauer-Wagner, G. (Contact person), Knoll, C. (Attendee / Assistant), Tranninger, M. (Attendee / Assistant), Römer, K. U. (Consortium manager resp. coordinator of internal research units), Rath, M. (Attendee / Assistant), Kubin, G. (Contact person), Horn, M. (Contact person), Tappler, M. (Attendee / Assistant), Bloem, R. (Consortium manager resp. coordinator of internal research units), Weiser, S. (Attendee / Assistant), Leitinger, E. (Contact person), Ebrahimi, M. (Attendee / Assistant), Aichernig, B. (Contact person), Malenko, M. (Attendee / Assistant), Steinberger, M. (Contact person), Großwindhager, B. (Attendee / Assistant), Baunach, M. C. (Contact person), Witrisal, K. (Contact person), Teschl, R. (Contact person), Boano, C. A. (Contact person), Alothman Alterkawi, A. B. (Attendee / Assistant), Bösch, W. (Contact person) & Grosinger, J. (Contact person)
1/01/16 → 31/03/22
Project: Research project

A Testing Perspective on Algebraic, Denotational, and Operational Semantics
Aichernig, B. (Speaker)
8 Oct 2019
Activity: Talk or presentation › Invited talk at conference or symposium › Science to science

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 proceeding › Conference paper › peer-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). Epub 2019 Sept 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. 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",

address = "United States",

}

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

Publication series

Access to Document

Projects

Dependable Internet of Things

Activities

A Testing Perspective on Algebraic, Denotational, and Operational Semantics

Cite this