Sciweavers

141 search results - page 29 / 29
» Logical Reasoning for Higher-Order Functions with Local Stat...
Sort
View
AMAST
2004
Springer
13 years 10 months ago
A Science of Software Design
concerns, abstraction (particularly hierarchical abstraction), simplicity, and restricted visibility (locality of information). The overall goal behind these principles was stated ...
Don S. Batory