Stem wrt$ (all stems)

3 papers:

SAC-2009-FalconeFM #classification #monitoring

Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.

ALP-1992-AravindanD #deduction #logic programming #semantics #source code

Partial Deduction of Logic Programs wrt Well-Founded Semantics (CA, PMD), pp. 384–402.

ALP-1990-Farres-Casals #correctness #proving #specification

Proving Correctness wrt Specifications with Hidden Parts (JFC), pp. 25–39.