Stem programmat$ (all stems)

3 papers:

SAT-2012-GaneshOSDRS #named #problem #satisfiability

Lynx: A Programmatic SAT Solver for the RNA-Folding Problem (VG, CWO, MS, SD, MCR, ASL), pp. 143–156.

CHI-1999-ZettlemoyerA #interactive #visual notation

A Visual Medium for Programmatic Control of Interactive Applications (LSZ, RSA), pp. 199–206.

ASE-1998-McDonaldHS #library #standard #testing

Programmatic Testing of the Standard Template Library Containers (JM, DH, PAS), pp. 147–156.