BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
well (1)
deduct (1)
hidden (1)
found (1)
part (1)

Stem wrt$ (all stems)

3 papers:

SACSAC-2009-FalconeFM #classification #monitoring
Enforcement monitoring wrt. the safety-progress classification of properties (YF, JCF, LM), pp. 593–600.
PPDPALP-1992-AravindanD #deduction #logic programming #semantics #source code
Partial Deduction of Logic Programs wrt Well-Founded Semantics (CA, PMD), pp. 384–402.
PPDPALP-1990-Farres-Casals #correctness #proving #specification
Proving Correctness wrt Specifications with Hidden Parts (JFC), pp. 25–39.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.