Aug. 20, 2001
9:44 a.m.
One recurring theme in these "State of the Practice" papers was the lack of a fundamental theoretical basis for computing. i.e. there's nothing comparable to the laws of physics in software engineering.
David Gries has written a book called "The Science of Programming" which states a framework for writing mathematicaly correct programs.
Yes, there are many books and papers on programming correctness but few on the nature of information. Specifically I am intereted in any work on layering of information structures. Looking at how information itself is structured and operated upon. This is different to programming which is only one very narrow subset ofg information processing. Alan g.