| 
|
Quote: writing new code is natural with reference immutability; helped define interfaces; easier than annotating existing code
topics >
all references >
references a-b >
Topic:
interface type
Topic:
immutable files and data
Topic:
constructing proof and program together
Quotation Skeleton
We found writing code from scratch to be … to be subsumed by that of writing the … about interfaces and make fewer design and implementation … reference immutability enabled us to reason about interfaces … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: interface type (50 items)
Topic: immutable files and data (57 items)
Topic: constructing proof and program together (22 items)