Abstract
The main benefit of learning and doing mathematics is that it develops the ability to reason about formally defined abstract structures like those in computer science and its applications.
Index Terms
- Introduction
Recommendations
An Introduction to TUG: A Language for Writing Reusable Formal Program Specifications
ITCC '05: Proceedings of the International Conference on Information Technology: Coding and Computing (ITCC'05) - Volume II - Volume 02TUG (Tree Unified with Grammar) was developed to support a system to be developed through an integration of conventional software development, operational specification, rapid prototyping via software transformations, software reuse, and analysis of ...
Guest Editor's Introduction: Special-Purpose Computing
My awareness of special-purpose computing goes back quite a long time. In the early 1980s, my former grad-school housemate and (still) good friend Doug Toussaint worked with Bob Pearson and John Richardson on a special-purpose computer to study the ...
Introduction: Experience Reports
AGILE '06: Proceedings of the conference on AGILE 2006I love stories. I love hearing them; I love telling them. Stories connect me to ideas in a way that dry recitals of facts and findings never could. Perhaps it's my love of stories that makes the experience reports track my favorite at conferences. A ...
Comments