scientific article; zbMATH DE number 3819056

MaRDI QIDQ3666231zbMATH OpenFDO

Authors Jon Bentley

Publication date 1982

zbMATH Keywords

program optimizationprogram transformation

Mathematics Subject Classification ID

Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Specification and verification (program logics, model checking, etc.) (68Q60)

Cited in

(7)

• A microcomputer-based implementation of the expanding equilibrium algorithm for linear, single commodity spatial price equilibrium problems
• An efficient algorithm for the Brownian dynamics simulation of aggregation
• Dense polynomial multiplication with reduced array manipulation overhead
• Transformations of sequential specifications into concurrent specifications by synchronization guards
• On projected newton barrier methods for linear programming and an equivalence to Karmarkar’s projective method
• A simple equation solver and its application to financial modelling
• Simple code optimizations

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 Q3666231)