BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Used together with:
type (2)
transform (1)
dynam (1)
base (1)
formal (1)

Stem rôle$ (all stems)

3 papers:

LDTALDTA-2010-HoldermansH #on the #program transformation #type system
On the rôle of minimal typing derivations in type-driven program transformation (SH, JH), p. 2.
SEFMSEFM-2007-Cousot #abstract interpretation #formal method
The Rôle of Abstract Interpretation in Formal Methods (PC), pp. 135–140.
PPDPPPDP-2006-GorlaHS #trust
Inferring dynamic credentials for rôle-based trust management (DG, MH, VS), pp. 213–224.

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.