A type system for format strings.

Konstantin Weitz, Gene Kim, Siwakorn Srisakaokul, Michael D. Ernst

Browse the full ISSTA paper archive.