scientific article; zbMATH DE number 3995030

zbMath0614.68012MaRDI QIDQ4721632

Bernhard Steffen

Publication date: 1987

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

zbMATH Keywords

Herbrand interpretationKildall's iterative method for data flow analysisMorel/Renvoise's partial redundancy elimination algorithmrun time optimization algorithm

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Compositional characterization of observable program properties ⋮ Finite constants: Characterizations of a new decidable set of constants

This page was built for publication: