MaD70 questions

MaD70 answers

• handling amorphous subsystems in formal software design
• What libraries are available for parsing c++ to extract type information
• some pointer to understanding GCC source code
• Intelligent code-completion? Is there AI to write code by learning?
• Automating Win32 Driver Testing
• prolog to SQL converter
• Database Structure Advice Needed
• Keeping distributed databases synchronized in a unstable network
• Applications of Unification?
• query language for graph sets: data modeling question