Open AccessVerification, Model Checking, and Abstract Interpretation
Author(s) -
Constantin Enea,
Ružica Piskač
Publication year - 2019
Publication title -
lecture notes in computer science
Language(s) - English
Resource type - Book series
SCImago Journal Rank - 0.249
H-Index - 400
eISSN - 1611-3349
pISSN - 0302-9743
DOI - 10.1007/978-3-030-11245-5
Subject(s) - computer science , model checking , interpretation (philosophy) , abstract interpretation , software engineering , programming language , artificial intelligence
of Invited Keynote Talks Semantics for Compiler IRs: Undefined Behavior is not Evil!
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom