I read John Cuadrado's ``Teach Formal Methods'' in your December 1994 issue with interest. Safety-critical systems must be made reliable through application of formal methods in their design and implementation. All software systems can be more reliable if the engineers who work on them have had some training in the formal derivation of correct programs.
Douglas Lovell
Wappinger's Falls, NY
dcl@pascal.acm.org
BYTE
Flexible C++
Matthew Wilson
My approach to software engineering is far more pragmatic than it
is
theoretical--and no language better exemplifies this than C++.
BYTE Digest editors every month analyze and evaluate the best articles from Information Week, EE Times, Dr. Dobb's Journal, Network Computing, Sys Admin,
and dozens of other CMP publications—bringing
you critical news and information about wireless communication,
computer security, software development, embedded systems,
and more!
Formally Correct
