Proving Algorithms?

[cosc...@bayou.uh.edu]

John Atwood (atw...@ice.CS.ORST.EDU) wrote:

[Snip]

: There's a good introduction in
: http://www.cs.kun.nl/~clean/Clean.Cleanbook.html
: Look under:
: III Software Engineering Aspects
: 1 Developing Techniques for Functional Programs

: section 1.8, Reasoning About Programs.

Unfortunately that doc is in postscript, and I'm using ghostview
which has a serious problem with postscript. I was only able to
see one page out of the whole section, and that page was
in tiny print and turned sideways so it was completely
unreadable. *Sigh* Now I know why I hate ghostview.
Actually I hate postscript as well...

Regardless, thank you for your assistance.

: John Atwood
: --
: --Office phone: 541-737-5583 (Batcheller 349) home: 757-8772
: Office mail: 303 Dearborn Hall, OSU, Corvallis, OR 97331
: --Visit the Bad Design Page: http://www.baddesigns.com

--
Cya,
Ahmed

Stumbling through the rubble,
My head's in a spin.
I hear them fighting the war no one can win.
"Last Rockers" by Vice Squad

[John Atwood]

cosc...@bayou.uh.edu <cosc...@Bayou.UH.EDU> wrote:

>John Atwood (atw...@ice.CS.ORST.EDU) wrote:
>: There's a good introduction in
>: http://www.cs.kun.nl/~clean/Clean.Cleanbook.html

>: III Software Engineering Aspects
>: 1 Developing Techniques for Functional Programs
>: section 1.8, Reasoning About Programs.
>
>Unfortunately that doc is in postscript, and I'm using ghostview
>which has a serious problem with postscript. I was only able to
>see one page out of the whole section, and that page was
>in tiny print and turned sideways so it was completely
>unreadable. *Sigh* Now I know why I hate ghostview.
>Actually I hate postscript as well...
>Regardless, thank you for your assistance.

I had the same problem, but it printed fine. approx. 20 pages, 10
double-sided (though the first dozen or so are an intro to SE). Running
it through psnup also fixed the problem. Or, try pstotext, ps2ascii,
ps2pdf, etc. Or contact the Clean folks. I do note that it looks ok
under ghostscript rather than ghostview.... (there are 2 or more ps
utils named psnup, use gnu's).

Chapter nine of A J T Davie's _An Intro to Functional Programming
Systems Using Haskell_ addresses the topic also.

John Atwood
--
--Office phone: 541-737-5583 (Batcheller 349) home: 757-8772
Office mail: 303 Dearborn Hall, OSU, Corvallis, OR 97331

--I proactively leverage my synergies to grow the business.