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:
semant (2)
web (1)
servic (1)
orient (1)
modular (1)

Stem utp$ (all stems)

3 papers:

FMFM-2014-ZeydaSCS #composition #higher-order #object-oriented
A Modular Theory of Object Orientation in Higher-Order UTP (FZ, TLVLS, AC, AS), pp. 627–642.
IFMIFM-2012-BrescianiB #semantics
A UTP Semantics of pGCL as a Homogeneous Relation (RB, AB), pp. 191–205.
IFMIFM-2007-Jifeng #semantics #web #web service
UTP Semantics for Web Services (JH), pp. 353–372.
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.