l i n u x - u s e r s - g r o u p - o f - d a v i s
L U G O D
 
Next Meeting:
January 6: Social gathering
Next Installfest:
TBD
Latest News:
Nov. 18: Club officer elections
Page last updated:
2010 Sep 28 11:06

The following is an archive of a post made to our 'vox mailing list' by one of its subscribers.

Report this post as spam:

(Enter your email address)
Re: [vox] Dijkstra was ahead of his time!
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [vox] Dijkstra was ahead of his time!



On Tue, Sep 28, 2010 at 10:43:26AM -0700, timriley@appahost.com wrote:
> > -------- Original Message --------
> > Subject: [vox] Dijkstra was ahead of his time!
> > From: Brian Lavender <brian@brie.com>
> > Date: Tue, September 28, 2010 9:32 am
> > To: vox@lists.lugod.org
> > 
> > 
> > I just listened to this speech by Disjkstra in 1972
> 
> My Data Structures professor, Dr. Weiss, corresponded with Dijkstra
> when Dr. Weiss was researching data structures. So by taking Dr. Weiss,
> I was introduced early on to Dijkstra's inspirations.

Undoubtedly as you say, Abstract Data Types are a form of abstract
specification.  Say you take a stack. We could care less if you use an
array or a linked list to store the data, just as long as it can store
the elements that are contained in the stack. Weiss' books don't devote
adequate attention to these principles. They are just spelled out in
English, which of course suffers from ambiguities. The Formal Methods
book I reference below describes a concise, correct specification of a
stack as an example.

> 
> >, an amazing speech. He
> > discusses abstraction,
> 
> Abstraction is an abstract idea in itself. In English, abstraction
> means generalizing. So in computer programming, it means to
> generalize code.

Both Z and VDM can be used to properly express a program in abstract terms.
It is a concrete process. Then, through the process of reification, you
develop your code. 

Did you use Weiss' book "Data Structures and Algorithm Analysis in Ada"? If you did,
then SPARK will be second nature.

Here is a book on Z and VDM.
Formal Methods Fact File: VDM and Z 
by Andrew Harry

Using Formal Methods requires a background in predicate logic. I even still have 
problems doing proofs.

brian
-- 
Brian Lavender
http://www.brie.com/brian/

"Program testing can be used to show the presence of bugs, but never to show their absence!"

Professor Edsger Dijkstra
1972 Turing award recipient
_______________________________________________
vox mailing list
vox@lists.lugod.org
http://lists.lugod.org/mailman/listinfo/vox



LinkedIn
LUGOD Group on LinkedIn
Sign up for LUGOD event announcements
Your email address:
facebook
LUGOD Group on Facebook
'Like' LUGOD on Facebook:

Hosting provided by:
Sunset Systems
Sunset Systems offers preconfigured Linux systems, remote system administration and custom software development.

LUGOD: Linux Users' Group of Davis
PO Box 2082, Davis, CA 95617
Contact Us

LUGOD is a 501(c)7 non-profit organization
based in Davis, California
and serving the Sacramento area.
"Linux" is a trademark of Linus Torvalds.

Sponsored in part by:
Appahost Applications
For a significant contribution towards our projector, and a generous donation to allow us to continue meeting at the Davis Library.