Open AccessProbabilistic Trace and Testing Semantics: The Importance of Being Coherent
Author(s) -
Marco Bernardo
Publication year - 2022
Publication title -
foundations and trends in programming languages
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.272
H-Index - 9
eISSN - 2325-1131
pISSN - 2325-1107
DOI - 10.1561/2500000056
Subject(s) - trace (psycholinguistics) , probabilistic logic , computer science , semantics (computer science) , programming language , artificial intelligence , linguistics , philosophy