scientific article; zbMATH DE number 3679159
From MaRDI portal
Publication:3875320
Cited in
(22)- Bi-inductive structural semantics
- Local higher-order fixpoint iteration
- Parameter-reduction of higher level grammars
- Strictness and totality analysis with conjunction
- A refinement of strong sequentiality for term rewriting with constructors
- Strictness analysis via abstract interpretation for recursively defined types
- Strictness analysis of the untyped \(\lambda\)-calculus
- Computational interpretations of linear logic
- On the transformation between direct and continuation semantics
- Projections for polymorphic strictness analysis
- Transforming Boolean equalities into constraints
- The powerset operator on abstract interpretations
- Compiling laziness using projections
- scientific article; zbMATH DE number 7455743 (Why is no real title available?)
- Dynamic interval analysis by abstract interpretation
- Making ``stricterness more relevant
- Refined typing to localize the impact of forced strictness on free theorems
- Lazy rewriting and eager machinery
- Bi-inductive structural semantics (extended abstract)
- Context-sensitive rewriting strategies
- On collecting semantics for program analysis
- From Boolean equalities to constraints
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3875320)
