๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Linking denotational semantics with operational semantics for web services

โœ Scribed by Huibiao Zhu; Jifeng He; Jing Li; Geguang Pu; Jonathan P. Bowen

Publisher
Springer
Year
2010
Tongue
English
Weight
267 KB
Volume
6
Category
Article
ISSN
1614-5046

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

Operational and goal-independent denotat
Operational and goal-independent denotational semantics for Prolog with cut
โœ Fausto Spoto ๐Ÿ“‚ Article ๐Ÿ“… 2000 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 454 KB

In this paper we propose an operational and a denotational semantics for Prolog. We deal with the control rules of Prolog and the cut operator. Our denotational semantics provides a goal-independent semantics. This means that the behaviour of a goal in a program is deยฎned as the evaluation of the go

Bringing Semantics to Web Services with
Bringing Semantics to Web Services with OWL-S
โœ David Martin; Mark Burstein; Drew McDermott; Sheila McIlraith; Massimo Paolucci; ๐Ÿ“‚ Article ๐Ÿ“… 2007 ๐Ÿ› Springer ๐ŸŒ English โš– 742 KB