scientific article

From MaRDI portal

Revision as of 21:37, 3 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Publication:3026317

Jump to:navigation, search

zbMath0624.68013MaRDI QIDQ3026317

Chris Hankin, Chris Martin

Publication date: 1987

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

zbMATH Keywords

correctness program analysis termination strictness analysis performance improvements abstract interpretation of declarative languages fixpoints of recursive functions run-time properties of programs value domains

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

Projections for polymorphic strictness analysis

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3026317&oldid=16060943"