scientific article; zbMATH DE number 2087550

zbMath1077.68610MaRDI QIDQ4738360

Helmut Seidl, Flemming Nielson, Hanne Riis Nielson

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2305/23050243.htm

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

zbMATH Keywords

Horn clausessparsenessProgram analysisautomatic complexity analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Nesting analysis of mobile ambients ⋮ A general framework for static profiling of parametric resource usage ⋮ Information flow security in boundary ambients ⋮ A Transformational Approach to Parametric Accumulated-Cost Static Profiling

This page was built for publication: