scientific article

From MaRDI portal

Publication:3787437

Jump to:navigation, search

zbMath0644.68016MaRDI QIDQ3787437

Adrienne Bloss, Paul Hudak

Publication date: 1988

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

zbMATH Keywords

strictness analysis compile-time optimizations lazy sequential functional programs order of evaluation of expressions path semantics

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (2)

Order-of-demand analysis for lazy languages ⋮ A uniform treatment of order of evaluation and aggregate update

This page was built for publication:

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