scientific article
From MaRDI portal
Publication:3026318
zbMath0624.68014MaRDI QIDQ3026318
Publication date: 1987
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
abstract interpretationstrictness analysisparallel reductionevaluation transformerparallel evaluation of functional languages
Related Items
Implementing term rewrite languages in DACTL, Proving Properties of Lazy Functional Programs with Sparkle, Inverse image analysis generalises strictness analysis
Uses Software
