Drexel dragonThe Math ForumDonate to the Math Forum



Search All of the Math Forum:

Views expressed in these public forums are not endorsed by Drexel University or The Math Forum.


Math Forum » Discussions » Education » math-teach

Topic: Structured Programming
Replies: 69   Last Post: Mar 7, 2014 7:18 PM

Advanced Search

Back to Topic List Back to Topic List Jump to Tree View Jump to Tree View   Messages: [ Previous | Next ]
Joe Niederberger

Posts: 2,923
Registered: 10/12/08
Re: Structured Programming
Posted: Mar 2, 2014 2:34 PM
  Click to see the message monospaced in plain text Plain Text   Click to reply to this topic Reply

By the way, Backus was later of the opinion that programming languages should get even more mathematical (which is not the same as less human.) He explicitly criticizes then extant languages for "their lack of useful mathematical properties for reasoning about programs".

See his Turing lecture for details:
http://www.google.com/url?sa=t&rct=j&q=&esrc=s&source=web&cd=4&cad=rja&ved=0CD0QFjAD&url=http%3A%2F%2Fwww.cs.ucf.edu%2F~dcm%2FTeaching%2FCOT4810-Fall%25202012%2FLiterature%2FBackus.pdf&ei=yYMTU_-iNYTI0QH5-oCICQ&usg=AFQjCNEe1DOUy_lTaCaRm9gVHLBWMB8FbA&bvm=bv.62286460,d.dmQ

That's the sentiment I expressed that started this whole sub-debate. I said "Not as many people recognize the reverse - the applicability of mathematical techniques to studying computation." (And from there we got to programming language design as an example.) I think Backus would agree.

Of course, he goes much further than a simple surface sentiment. He's thought about it, and saw founding languages even more directly on richer mathematical abstractions (than general formal languages or more restricted CFLs):

"Combining forms can use high level programs to build still higher level ones in a style not possible in conventional languages. Associated with the functional style of programming is an algebra of programs whose variables range over programs and whose operations are combining forms. This algebra can be used to transform programs and to solve equations whose ?unknowns? are programs in much the same way one transforms equations in high school algebra. These transformations are given by algebraic laws and are carried out in the same language in which programs are written. Combining forms are chosen not only for their programming power but also for the power of their associated algebraic laws. General theorems of the algebra give the detailed behavior and termination conditions for large classes of programs."
- -- John Backus, 1977 Turing Award Lecture: "Can programming be liberated from the von Neumann style?: a functional style and its algebra of programs"

Cheers,
Joe N


Date Subject Author
3/1/14
Read Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Greg Goodknight
3/3/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Louis Talman
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Robert Hansen
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
kirby urner
3/2/14
Read Re: Structured Programming
Joe Niederberger
3/2/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Robert Hansen
3/4/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/4/14
Read Re: Structured Programming
Robert Hansen
3/5/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Robert Hansen
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/3/14
Read Re: Structured Programming
kirby urner
3/3/14
Read Re: Structured Programming
Joe Niederberger
3/4/14
Read Re: Structured Programming
kirby urner
3/4/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
Joe Niederberger
3/5/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Louis Talman
3/6/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/7/14
Read Re: Structured Programming
Robert Hansen
3/7/14
Read Re: Structured Programming
Louis Talman
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/7/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
kirby urner
3/6/14
Read Re: Structured Programming
Joe Niederberger
3/7/14
Read Re: Structured Programming
Robert Hansen
3/6/14
Read Re: Structured Programming
Joe Niederberger

Point your RSS reader here for a feed of the latest messages in this topic.

[Privacy Policy] [Terms of Use]

© Drexel University 1994-2014. All Rights Reserved.
The Math Forum is a research and educational enterprise of the Drexel University School of Education.