Strictness analysis for higher-order functions
From MaRDI portal
Recommendations
Cited in
(37)- A uniform treatment of order of evaluation and aggregate update
- Local higher-order fixpoint iteration
- Strictness and totality analysis with conjunction
- Type inference, abstract interpretation and strictness analysis
- Strictness analysis via abstract interpretation for recursively defined types
- A domain-theoretic framework for robustness analysis of neural networks
- Domains for Higher-Order Games
- Payoffs, intensionality and abstraction in games
- Decidability of behavioural equivalence in unary PCF
- scientific article; zbMATH DE number 4014000 (Why is no real title available?)
- Representing demand by partial projections
- Compositional characterization of observable program properties
- The tensor product in Wadler's analysis of lists
- Frameworks for abstract interpretation
- The powerset operator on abstract interpretations
- scientific article; zbMATH DE number 4014021 (Why is no real title available?)
- scientific article; zbMATH DE number 4016173 (Why is no real title available?)
- scientific article; zbMATH DE number 1487944 (Why is no real title available?)
- Compiling laziness using projections
- A safe approach to parallel combinator reduction
- Strictness analysis and denotational abstract interpretation
- Two-level semantics and abstract interpretation
- scientific article; zbMATH DE number 7455743 (Why is no real title available?)
- Proving the correctness of compiler optimisations based on a global analysis: a study of strictness analysis†
- scientific article; zbMATH DE number 3960961 (Why is no real title available?)
- Semantics-directed program analysis: a tool-maker's perspective
- Head-strictness is not a monotonic abstract property
- On the power and limitations of strictness analysis
- A security flow control algorithm and its denotational semantics correctness proof
- Strictness, totality, and non-standard-type inference
- scientific article; zbMATH DE number 3995026 (Why is no real title available?)
- scientific article; zbMATH DE number 3907749 (Why is no real title available?)
- scientific article; zbMATH DE number 3982495 (Why is no real title available?)
- Needed reduction and spine strategies for the lambda calculus
- scientific article; zbMATH DE number 675533 (Why is no real title available?)
- Using transformations in the implementation of higher-order functions
- Abstract interpretation as a programming language
This page was built for publication: Strictness analysis for higher-order functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1082802)
