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:3026318

Jump to:navigation, search

zbMath0624.68014MaRDI QIDQ3026318

Geoffrey L. Burn

Publication date: 1987

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

zbMATH Keywords

abstract interpretation strictness analysis parallel reduction evaluation transformer parallel evaluation of functional languages

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (3)

Implementing term rewrite languages in DACTL ⋮ Proving Properties of Lazy Functional Programs with Sparkle ⋮ Inverse image analysis generalises strictness analysis

Uses Software

Miranda

This page was built for publication:

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