To access the full text documents, please follow this link: http://hdl.handle.net/2117/108281

The pragmatic proof: hypermedia API composition and execution
Verborgh, Ruben; Arndt, Dorthe; Van Hoecke, Sofie; De Roo, Jos; Mels, Giovanni; Steiner, Thomas; Gabarró Vallès, Joaquim
Universitat Politècnica de Catalunya. Departament de Ciències de la Computació; Universitat Politècnica de Catalunya. ALBCOM - Algorismia, Bioinformàtica, Complexitat i Mètodes Formals
Àrees temàtiques de la UPC::Informàtica
composition
proof
reasoning
Semantic Web
hypermedia APIs
Web APIs
Attribution-NonCommercial-NoDerivs 3.0 Spain
http://creativecommons.org/licenses/by-nc-nd/3.0/es/
info:eu-repo/semantics/submittedVersion
Article
         

Show full item record

Related documents

Other documents of the same author

Steiner, Thomas; Verborgh, Ruben; Gabarró Vallès, Joaquim; Van de Walle, Rik
Verborgh, Ruben; Steiner, Thomas; Van Deursen, Davy; Van de Walle, Rik; Gabarró Vallès, Joaquim
Steiner, Thomas; Verborgh, Ruben; Van de Walle, Rik; Hausenblas, Michael; Gabarró Vallès, Joaquim
van Hooland, Seth; de Wilde, Max; Verborgh, Ruben; Steiner, Thomas; Van de Walle, Rik
Mallet, Marc; Dulac, F; Formenti, P; Nabat, Pierre; Sciare, J.; Roberts, Gareth E.; Pelon, Jacques; Ancellet, Gerard; Tanré, Didier; Parol, F; Dejean, C.; Brogniez, G.; di Sarra, G; Alados Arboledas, Lucas; Arndt, Dorthe; Auriol, F.; Blarel, L.; Bourrianne, T.; Chazette, P; Chevaillier, S.; Claeys, Maxim; D'Anna, B.; Derimian, Y.; Desboeufs, K.; Di Iorio, Tatiana; Doussin, J.F.; Durand, Pierre; Feron, A.; Franay, E.; Gaimoz, C.; Goloub, Philppe; Gomez Amo, J.L.; Granados Muñoz, María José; Sicard, Michaël
 

Coordination

 

Supporters