Zobrazeno 1 - 3
of 3
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
Autor:
author unknown
Kürschners Deutscher Gelehrten-Kalender presents in its 22nd edition approx. 70,000 academics working at German-speaking universities and other scientific and scholarly institutions. It provides the most important biographical information, addresses