The pragmatic proof: Hypermedia API composition and execution.
Ruben VerborghDörthe ArndtSofie Van HoeckeJos De RooGiovanni MelsThomas SteinerJoaquim GabarróPublished in: Theory Pract. Log. Program. (2017)
Keyphrases
- service compositions
- source code
- execution model
- application developers
- hypermedia systems
- composite services
- plan generation
- neural network
- high level
- case study
- web service compositions
- application programming interface
- linear logic
- digital libraries
- web service composition
- theorem proving
- third party
- database
- open source
- multimedia
- composite web services
- complete axiomatization
- adaptive hypermedia systems
- user interface