ThesaHelp: topics to process
| |
Notes
Quote: lost reference about type invariants. get from backup of notes.new after 5/97 Probably in entry before (QuoteRef: kentW2_1989)
appears to be really lost. Fairly ordinary.
QuoteRef: kentW2_1989
looks like it should be (QuoteRef: stroRE5_1985) but the page numbers are wrong, it was in (millHD2_86)
169
169
was in (QuoteRef: dewaRG6_1975)
Wirth Axiomatic definition of Pascal, being chased
QuoteRef: hoarCA_1972
Topic: compiler
Quote: if the porter only admits people with invitations, we trust that admitted people have an invitation
Related Topics
ThesaHelp: topics to process (448 items)
|