Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression

DOI10.1007/978-3-319-27810-0_6zbMath1474.68047OpenAlexW2280843767MaRDI QIDQ2796219

Herbert Wiklicky, Alessandra Di Pierro

Publication date: 23 March 2016

Published in: Semantics, Logics, and Calculi (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10044/1/29481

Mathematics Subject Classification ID

Linear regression; mixed models (62J05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Probabilistic Abstract Interpretation: From Trace Semantics to DTMC’s and Linear Regression