scientific article

From MaRDI portal

Revision as of 08:02, 5 February 2024 by Import240129110113 (talk | contribs) (Created automatically from import240129110113)

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

Publication:3685169

Jump to:navigation, search

zbMath0568.68012MaRDI QIDQ3685169

Chris Clack, Simon L. Peyton Jones

Publication date: 1985

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

zbMATH Keywords

functional languages strictness analysis concurrent evaluation parallel execution of programs

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of operating systems (68N25)

Related Items (6)

Parameter-reduction of higher level grammars ⋮ Strictness analysis of the untyped \(\lambda\)-calculus ⋮ Projections for polymorphic strictness analysis ⋮ Head-strictness is not a monotonic abstract property ⋮ Time Stamps for Fixed-Point Approximation ⋮ Type inference, abstract interpretation and strictness analysis

This page was built for publication:

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