Trends in the Design and Implementation of Programming Languages

By the end of the decade, advances in areas such as structured programming, specification, verification, and language design will have transformed programming into a true engineering discipline.