Verification of data type consistency
Related items
Showing items related by title, author, creator and subject.
-
Language specific versus generic iconic programming systems and grammars
Calloni, Ben Anthony (Texas Tech University, 1997-05)This dissertation evaluates the strengths and weaknesses of generic and language specific iconic programming systems, investigates the feasibility of developing iconic grammars, and provides a requirements definition for ... -
Static analysis of novice student C++ programs
Yerramilli, Vinay (Texas Tech University, 1998-05)The primary objective of the thesis research is to help to improve the instruction quality for the Computer Science Department's CS 1462 Fundamentals of Computer Science I course at Texas Tech University. Improving the ... -
DFAS, the data-flow analysis system for detecting program anomalies
Lee, Ban-wan (1983-12)