Technology progress
Programming: Current capabilities
Different language and runtime choices provide different kinds of assurance; none eliminates every software defect.
Sourced reference notes · editorial expansion neededWhat's in progress?
Programming. Current capabilities and sourced research directions. Existing capabilities are distinguished from work still in progress.
Explore sourced reference notes and their supporting citations. Each article shows when its sources were reviewed.
Published references
Technology progress
Programming: Research directions
A major open challenge is improving assurance while preserving performance and existing software investments.
Sourced reference notes · editorial expansion needed