Datalog, a declarative logic programming language with a concise syntax, has become an essential tool in the realm of program analysis. By expressing recursive computation in a clear and ...

Static program analysis encompasses a suite of techniques that examine software without executing it, in order to detect defects, verify properties and guide optimisation. Fundamental approaches ...

NASA Administrator Michael Griffin announced today the establishment of the Office of Program Analysis and Evaluation (PA&E), headed by Dr. Scott Pace. The Office of Program Analysis & Evaluation ...

NASA Administrator Michael Griffin announced the appointment of W. Michael Hawes as the associate administrator for Program Analysis and Evaluation (PA&E). Hawes will succeed Scott Pace, who will ...

Purdue University's Information Technology Business Analysis Graduate Certificate equips professionals to drive IT projects by determining business requirements. This 12-credit, 100% online program ...