Short Note: Strict Unwraps Make Worker/Wrapper Fusion Totally Correct

Journal of Functional Programming - United Kingdom
doi 10.1017/s0956796810000080
Full Text
Abstract

Available in full text

Categories
Software
Date
Authors
Publisher

Cambridge University Press (CUP)

Related search

The Worker/Wrapper Transformation

Journal of Functional Programming
Software
2009English

Totally Correct Logic Program Transformations via Well-Founded Annotations

Higher-Order and Symbolic Computation
2008English

Do Strict Land Use Regulations Make Metropolitan Areas More Segregated by Income?

Journal of the American Planning Association
DevelopmentUrban StudiesPlanningGeography
2015English

ECG Challenge: Can You Make the Correct Morphology, Pathology, and Rhythm Diagnoses?

Circulation
Cardiovascular MedicinePhysiologyCardiology
2016English

A Short Proof of Tutte's Characterization of Totally Unimodular Matrices

Linear Algebra and Its Applications
Numerical AnalysisAlgebraCombinatoricsNumber TheoryGeometryDiscrete MathematicsTopology
1989English

A Note on Strict Feasibility and Solvability for Pseudomonotone Equilibrium Problems

Journal of Nonlinear Science and Applications
Number TheoryAnalysisAlgebra
2016English

How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor

IEEE Transactions on Computers
HardwareArchitectureMathematicsComputational TheoryTheoretical Computer ScienceSoftware
1997English

2. A Short Biographical Note

2018English

A Short Note on Prime Submodules

Algebraic Structures and their Applications
Applied MathematicsNumber TheoryAlgebra
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2024 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy