[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Distinguish syntax from semantics: expression vs what it denotes, ainformal parsing, make types explicit
Formal transformations: definitions as macros, proof by rewriting(GriesSchneider95), give syntactic and semantic proof., mental representations, make logic explicit.
Types and polymorphism. distinguish function, its vlaues, an algorithm that implemnts it.
Self-montoring:give mistakes a name. give punchy names for good behaviours, go for high context communitcation
Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]