On the completeness of a set of transformations optimizing linear programs

DOI10.1016/0020-0190(77)90016-3zbMath0381.68020OpenAlexW1979360911MaRDI QIDQ1248335

K. Appert

Publication date: 1977

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(77)90016-3

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Algorithms in computer science (68W99)

Related Items (2)

An experimental investigation of Geschke's method of global program optimization ⋮ On the completeness of a set of transformations optimizing linear programs

Cites Work

• Unnamed Item
• On the completeness of a set of transformations optimizing linear programs

This page was built for publication: On the completeness of a set of transformations optimizing linear programs