Zobrazeno 1 - 2
of 2
pro vyhledávání: '"Oliver Garbe"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 18-34 (2013)
We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and a
Externí odkaz:
https://doaj.org/article/dc61de5bcb454f4f957e0e0d2d2a76d3
Publikováno v:
ITRS
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 18-34 (2013)
Electronic Proceedings in Theoretical Computer Science, Vol 121, Iss Proc. ITRS 2012, Pp 18-34 (2013)
We describe ongoing work on a framework for automatic composition synthesis from a repository of software components. This work is based on combinatory logic with intersection types. The idea is that components are modeled as typed combinators, and a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::e1a959459e0bff7d9a99bcb0475f0d2b
http://arxiv.org/abs/1307.8203
http://arxiv.org/abs/1307.8203
