chapter

Free access

Chapter I: Notes on structured programming

Author:

Edsger W. DijkstraAuthors Info & Claims

Structured programming

January 1972

Pages 1 - 82

Published: 01 January 1972 Publication History

PDF eReader

Cited By

View all

Sun WXu LElbaum SZhao D(2021)Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP ImplementationsIEEE/ACM Transactions on Networking10.1109/TNET.2021.307816129:5(1990-2004)Online publication date: 18-May-2021
https://dl.acm.org/doi/10.1109/TNET.2021.3078161
Selić BPierantonio A(2021)Fixing Classification: A Viewpoint-Based ApproachLeveraging Applications of Formal Methods, Verification and Validation10.1007/978-3-030-89159-6_22(346-356)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1007/978-3-030-89159-6_22
Cebotari VKugele S(2020)Playground for Early Automotive Service Architecture Design and Evaluation2020 IEEE Intelligent Vehicles Symposium (IV)10.1109/IV47402.2020.9304633(1349-1356)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1109/IV47402.2020.9304633
Show More Cited By

Recommendations

GM Notes: Tabletop Gaming Themed Discreet Internet Website Password Organizer Book
Sermon Notes Journal: With Calendar 2018-2019, Creative Workbook with simple Guide to Journaling size 8.5x11 Inches Extra Large Made In USA (Volume 1)
Mixed-integer quadratic programming

This paper considers mixed-integer quadratic programs in which the objective function is quadratic in the integer and in the continuous variables, and the constraints are linear in the variables of both types. The generalized Benders' decomposition is a ...

Comments

Information & Contributors

Information

Published In

Structured programming

January 1972

234 pages

ISBN:0122005503

Editors:
O. J. Dahl
Universitet i Oslo, Blindern, Oslo, Norway
,
E. W. Dijkstra
Technological University, Eindhoven, The Netherlands
,
C. A. R. Hoare
The Queen's University of Belfast, Belfast, Northern Ireland

Publisher

Academic Press Ltd.

United Kingdom

Publication History

Published: 01 January 1972

Qualifiers

Chapter

Appears in

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

247
Total Citations
View Citations
2,236
Total Downloads

Downloads (Last 12 months)171
Downloads (Last 6 weeks)23

Reflects downloads up to 21 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Sun WXu LElbaum SZhao D(2021)Model-Agnostic and Efficient Exploration of Numerical Congestion Control State Space of Real-World TCP ImplementationsIEEE/ACM Transactions on Networking10.1109/TNET.2021.307816129:5(1990-2004)Online publication date: 18-May-2021
https://dl.acm.org/doi/10.1109/TNET.2021.3078161
Selić BPierantonio A(2021)Fixing Classification: A Viewpoint-Based ApproachLeveraging Applications of Formal Methods, Verification and Validation10.1007/978-3-030-89159-6_22(346-356)Online publication date: 17-Oct-2021
https://dl.acm.org/doi/10.1007/978-3-030-89159-6_22
Cebotari VKugele S(2020)Playground for Early Automotive Service Architecture Design and Evaluation2020 IEEE Intelligent Vehicles Symposium (IV)10.1109/IV47402.2020.9304633(1349-1356)Online publication date: 19-Oct-2020
https://dl.acm.org/doi/10.1109/IV47402.2020.9304633
Sun WXu LElbaum SZhao DLorch JYu M(2019)Model-agnostic and efficient exploration of numerical state space of real-world TCP congestion control implementationsProceedings of the 16th USENIX Conference on Networked Systems Design and Implementation10.5555/3323234.3323292(719-733)Online publication date: 26-Feb-2019
https://dl.acm.org/doi/10.5555/3323234.3323292
Maguire JDraper SCutts QCarter JBecker BBrown N(2019)What Do We Do When We Teach Software Engineering?Proceedings of the 2019 Conference on United Kingdom & Ireland Computing Education Research10.1145/3351287.3351295(1-7)Online publication date: 5-Sep-2019
https://dl.acm.org/doi/10.1145/3351287.3351295
Sall BPeschanski FChailloux E(2019)A Mechanized Theory of Program RefinementFormal Methods and Software Engineering10.1007/978-3-030-32409-4_19(305-321)Online publication date: 5-Nov-2019
https://dl.acm.org/doi/10.1007/978-3-030-32409-4_19
Xu ZDong FJin JLuo JShen J(2017)GScheduler: Optimizing resource provision by using GPU usage pattern extraction in cloud environments2017 IEEE International Conference on Systems, Man, and Cybernetics (SMC)10.1109/SMC.2017.8123125(3225-3230)Online publication date: 5-Oct-2017
https://dl.acm.org/doi/10.1109/SMC.2017.8123125
Pinto GRebouças MCastor FGraziotin DPrikladnicki RLevy MSarma ASocha D(2017)Inadequate testing, time pressure, and (over) confidenceProceedings of the 10th International Workshop on Cooperative and Human Aspects of Software Engineering10.1109/CHASE.2017.13(74-77)Online publication date: 20-May-2017
https://dl.acm.org/doi/10.1109/CHASE.2017.13
Gu RShao ZChen HWu XKim JSjöberg VCostanzo DKeeton KRoscoe T(2016)CertiKOSProceedings of the 12th USENIX conference on Operating Systems Design and Implementation10.5555/3026877.3026928(653-669)Online publication date: 2-Nov-2016
https://dl.acm.org/doi/10.5555/3026877.3026928
Smith SZemljic NPetersen AKinnunen PSheard J(2015)Modern gotoProceedings of the 15th Koli Calling Conference on Computing Education Research10.1145/2828959.2828980(171-172)Online publication date: 19-Nov-2015
https://dl.acm.org/doi/10.1145/2828959.2828980
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Recommendations

GM Notes: Tabletop Gaming Themed Discreet Internet Website Password Organizer Book

Sermon Notes Journal: With Calendar 2018-2019, Creative Workbook with simple Guide to Journaling size 8.5x11 Inches Extra Large Made In USA (Volume 1)

Mixed-integer quadratic programming

Comments

Information

Published In

Publisher

Publication History

Qualifiers

Appears in

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations