Projection Factorisations in Partial Evaluation

DOI10.1017/CBO9780511569814MaRDI QIDQ4001863zbMATH OpenFDO

Authors John Launchbury

Publication date 18 September 1992

Full work available at URL https://doi.org/10.1017/CBO9780511569814

zbMATH Keywords

binding-time analysisdomain projectionspolymorphism

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Factorisation of orthogonal projectors
• scientific article; zbMATH DE number 991430
• Factorizations of relative extremal projectors
• scientific article; zbMATH DE number 766250
• Constructive methods for factorization of matrix-functions
• Incomplete factorization methods and its application
• scientific article; zbMATH DE number 3882077
• Asymptotic behavior of factorization and projection constants
• Computation of maximal projection constants
• On some generalizations of the factorization method

Cited in

(14)

• Automatic autoprojection of recursive equations with global variables and abstract data types
• Automatic autoprojection of higher order recursive equations
• Two-level languages for program optimization
• scientific article; zbMATH DE number 1630104 (Why is no real title available?)
• Topics in semantics-based program manipulation
• Subfactor projections.
• scientific article; zbMATH DE number 1022228 (Why is no real title available?)
• scientific article; zbMATH DE number 1070361 (Why is no real title available?)
• A computational formalization for partial evaluation
• scientific article; zbMATH DE number 1746687 (Why is no real title available?)
• scientific article; zbMATH DE number 2090857 (Why is no real title available?)
• scientific article; zbMATH DE number 815068 (Why is no real title available?)
• Projections for polymorphic strictness analysis
• Generalized partial computation using disunification to solve constraints

This page was built for publication: Projection Factorisations in Partial Evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4001863)