Computational Abstractions