| 
|
Quote: design one language feature at a time; improvement, efficient, documentation, security, examples, proof rule
topics >
all references >
references g-h >
Group:
program proving
Topic:
programming language design
Quotation Skeleton
The designer of a new feature should concentrate … He should make sure that his feature mitigates … He should show how the feature can be … examples how the feature is intended to be … cannot be checked at compile time. He should … with its many alternatives. And finally, if a … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: programming language design (53 items)