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:
languag (1)
platform (1)
verif (1)
rewrit (1)
research (1)

Stem whiley$ (all stems)

2 papers:

The whiley rewrite language (WyRL) (DJP), pp. 161–166.
SLESLE-2013-PearceG #framework #named #research #verification
Whiley: A Platform for Research in Software Verification (DJP, LG), pp. 238–248.

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.