Titel

Merkliste
1 Ergebnisse

A theory of contracts for Web services:

Castagna, Giuseppe ; Gesbert, Nils ; Padovani, Luca
ACM Transactions on Programming Languages and Systems (TOPLAS). 31 (2009) 5 - p. 1-61 , 2009

Link: https://dl.acm.org/doi/10.1145/1538917.1538920

RT Journal
T1 <Title>A theory of contracts for Web services</Title>

UL https://suche.suub.uni-bremen.de/peid=acm-1538920&Exemplar=1&LAN=DE
				
A1 Castagna, Giuseppe
A1 Gesbert, Nils
A1 Padovani, Luca
PB ACM
YR 2009
SN 0164-0925
SN 1558-4593
K1 Web services
K1 ccs
K1 concurrency theory
K1 contracts
K1 explicit coercions
K1 must testing
K1 subtyping
K1 type theory
K1 Theory of computation
K1 Models of computation
K1 Concurrency
K1 Parallel computing models
K1 Information systems
K1 World Wide Web
K1 Web applications
K1 Web services
K1 Semantics and reasoning
K1 Program constructs
K1 Type structures
K1 Human-centered computing
K1 Human computer interaction (HCI)
K1 Interaction paradigms
K1 Web-based interaction
K1 Collaborative and social computing
K1 Collaborative and social computing theory, concepts and paradigms
JF ACM Transactions on Programming Languages and Systems (TOPLAS)
VO 31
IS 5
SP 1
OP 61
LK http://dx.doi.org/https://dl.acm.org/doi/10.1145/1538917.1538920
DO https://dl.acm.org/doi/10.1145/1538917.1538920
SF ELIB - SuUB Bremen

Export

RefWorks (nur Desktop-Version!)
Flow (Zuerst in Flow einloggen, dann importieren)