scientific article; zbMATH DE number 7330887
From MaRDI portal
Publication:5857678
zbMath1494.68002MaRDI QIDQ5857678
Publication date: 2 April 2021
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items (6)
String abstract domains and their combination ⋮ Asynchronous correspondences between hybrid trajectory semantics ⋮ Limits and difficulties in the design of under-approximation abstract domains ⋮ Lifting numeric relational domains to algebraic data types ⋮ Deciding program properties via complete abstractions on bounded domains ⋮ Intensional Kleene and Rice theorems for abstract program semantics
This page was built for publication:
