Using Specialized Procedures and Specification-Based Analysis to Reduce the Runtime Costs of Modularity

Open Webpage

Mark T. Vandevoorde, John V. Guttag

Published: 1994, Last Modified: 25 Jan 2026SIGSOFT FSE 1994EveryoneRevisionsBibTeXCC BY-SA 4.0