Building custom static checkers using declarative programming

Ian D Horswill, Robert Zubek, Matthew Viglione

Research output: Chapter in Book/Report/Conference proceedingChapter


Programmers have developed a wide range of tools for sanity checking their code. Compilers perform type checking and generate warnings about undefined or unused variables. Programs such as Microsoft’s FxCop can detect opportunities for optimization, likely bugs such as files that are opened but never closed, and the use of unlocalized strings. These are all examples of static checking, as opposed to dynamic checks (such as assertions) that can only verify behavior for a particular run of the program.

Original languageEnglish (US)
Title of host publicationGame AI Pro 3
Subtitle of host publicationCollected Wisdom of Game AI Professionals
PublisherCRC Press
Number of pages10
ISBN (Electronic)9781498742597
ISBN (Print)9781498742580
StatePublished - Jan 1 2017

ASJC Scopus subject areas

  • Computer Science(all)

Cite this