Enhancement of the introductory computer science curriculum

An emphasis on derivation, analysis, and correctness verification throughout the problem-solving and program-development processes is the main thrust of the project. Interactive web-based laboratories are the most obvious of the curricular materials developed to dare. They support sophomore level courses covering the traditional content of courses in data structures, algorithms and programming language concepts. In order to develop the hundreds of web pages necessary for the laboratories, the project team found it necessary to create an HTML compiler called HtX. In the same way as LaTeX can abstract the style properties of static documents, HtX abstracts both static and dynamic features of web documents, enabling rapid development, multi-authoring and consistent appearance of large web structures. We are now in a position to disseminate not only the course materials, but also the powerful tools that will enable educators everywhere to produce effective classroom presentations and laboratory materials, concentrating only on the content of the documents and leaving style and format considerations for automatic treatment