scientific article; zbMATH DE number 1231565

zbMath0911.68134MaRDI QIDQ4222883

Patrick Cousot

Publication date: 20 December 1998

Full work available at URL: http://www.elsevier.com/cas/tree/store/tcs/free/noncas/pc/volume6.htm#cousot

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

hierarchy of semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (6)

Computing polynomial program invariants ⋮ Lifting numeric relational domains to algebraic data types ⋮ A Case Study in Abstract Interpretation Based Program Transformation ⋮ Transforming semantics by abstract interpretation ⋮ Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements ⋮ The reduced relative power operation on abstract domains

This page was built for publication: