Ramsey, N. Developing formally verified Ada programs. In Proceedings of the Fifth International Workshop on Software Specification and Design. (May 1989), pp. 257-265.

Digital Library

Google Scholar

[6]

Van Wyk, C.J. Literate programming. Commun. ACM 30, 7 (July 1987), 593-599; 30, 12 (Dec. 1987), 1000-1010.

Digital Library

Google Scholar

Cited By

View all

Brown MCzejdo B(2005)A hypertext for literate programmingAdvances in Computing and Information — ICCI '9010.1007/3-540-53504-7_82(250-259)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-53504-7_82
Reiss S(1999)The Desert environmentACM Transactions on Software Engineering and Methodology10.1145/322993.3229948:4(297-342)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.1145/322993.322994
Reiss SRombach H(1996)Simplifying data integrationProceedings of the 18th international conference on Software engineering10.5555/227726.227811(398-407)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.5555/227726.227811
Show More Cited By

Index Terms

Literate programming
1. Software and its engineering
  1. Software creation and management
    1. Software development techniques

Recommendations

Using literate programming to teach good programming practices
SIGCSE '94: Proceedings of the twenty-fifth SIGCSE symposium on Computer science education

The ability to comprehend a program written by other individuals is becoming increasingly important in software development and maintenance. In an attempt to encourage undergraduate Computer Science students to write informative and usable documentation,...
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 ...
The Sequential Unconstrained Minimization Technique for Nonlinear Programing, a Primal-Dual Method

This article is based on an idea proposed by C. W. Carroll for transforming a mathematical programming problem into a sequence of unconstrained minimization problems. It describes the theoretical validation of Carroll's proposal for the convex ...

Comments

Information & Contributors

Information

Published In

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1989

Published in CACM Volume 32, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

9
Total Citations
View Citations
655
Total Downloads

Downloads (Last 12 months)79
Downloads (Last 6 weeks)13

Reflects downloads up to 15 Oct 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Brown MCzejdo B(2005)A hypertext for literate programmingAdvances in Computing and Information — ICCI '9010.1007/3-540-53504-7_82(250-259)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-53504-7_82
Reiss S(1999)The Desert environmentACM Transactions on Software Engineering and Methodology10.1145/322993.3229948:4(297-342)Online publication date: 1-Oct-1999
https://dl.acm.org/doi/10.1145/322993.322994
Reiss SRombach H(1996)Simplifying data integrationProceedings of the 18th international conference on Software engineering10.5555/227726.227811(398-407)Online publication date: 1-May-1996
https://dl.acm.org/doi/10.5555/227726.227811
Reiss S(1996)Simplifying data integration: the design of the Desert software development environmentProceedings of IEEE 18th International Conference on Software Engineering10.1109/ICSE.1996.493434(398-407)Online publication date: 1996
https://doi.org/10.1109/ICSE.1996.493434
Ramsey N(1994)Literate Programming SimplifiedIEEE Software10.1109/52.31107011:5(97-105)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1109/52.311070
Gurari EWu JHwang CBrice R(1991)A WYSIWYG literate programming system (preliminary report)Proceedings of the 19th annual conference on Computer Science10.1145/327164.327217(94-104)Online publication date: 1-Apr-1991
https://dl.acm.org/doi/10.1145/327164.327217
Smith LSamadzadeh M(1991)An annotated bibliography of literate programmingACM SIGPLAN Notices10.1145/122203.12220426:1(14-20)Online publication date: 1-Jan-1991
https://dl.acm.org/doi/10.1145/122203.122204
Roelofs MGragert P(1991)Implementation of multilinear operators in REDUCE and applications in mathematicsProceedings of the 1991 international symposium on Symbolic and algebraic computation10.1145/120694.120754(390-396)Online publication date: 1-Jun-1991
https://dl.acm.org/doi/10.1145/120694.120754
Ramsey NMarceau C(1991)Literate programming on a team projectSoftware—Practice & Experience10.1002/spe.438021070321:7(677-683)Online publication date: 1-Jun-1991
https://dl.acm.org/doi/10.1002/spe.4380210703

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.

References

Cited By

Index Terms

Recommendations

Using literate programming to teach good programming practices

Mixed-integer quadratic programming

The Sequential Unconstrained Minimization Technique for Nonlinear Programing, a Primal-Dual Method

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Qualifiers

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