scientific article
From MaRDI portal
Publication:3729991
zbMath0596.68009MaRDI QIDQ3729991
Geoffrey L. Burn, Samson Abramsky, Chris Hankin
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
parallelismparallel processinglazy semanticsfunctional programmingstrict operatorspower domainsAbstract interpretationfirst-order functions on flat domainsstrictness analysis of functional programs
Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Static analysis for optimizing reference counting, Strictness analysis and denotational abstract interpretation, Order-of-demand analysis for lazy languages, Parameter-reduction of higher level grammars, Strictness analysis of the untyped \(\lambda\)-calculus, Flow analysis of lazy higher-order functional programs, Projections for polymorphic strictness analysis, Making ``stricterness more relevant, Deciding inclusion of set constants over infinite non-strict data structures, Inverse image analysis generalises strictness analysis, Using Template Haskell for Abstract Interpretation
