A Static Higher-Order Dependency Pair Framework

Autor:	Fuhs, C., Kop, C.L.M., Caires, L.
Přispěvatelé:	Caires, L.
Rok vydání:	2019
Předmět:	Software Science
Zdroj:	Caires, L. (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings, pp. 752-782 Caires, L. (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings, 752-782. Cham : Springer International Publishing STARTPAGE=752;ENDPAGE=782;ISSN=0302-9743;TITLE=Caires, L. (ed.), Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6–11, 2019. Proceedings
ISSN:	0302-9743
Popis:	Contains fulltext : 204578.pdf (Publisher’s version ) (Open Access) Programming Languages and Systems: 28th European Symposium on Programming, ESOP 2019
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::6b54d0cf81f562f80356a385e90c9fdf https://hdl.handle.net/2066/204578 Zobrazit plný text záznamu