Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Maciej Zielenkiewicz"'
Autor:
Maciej Zielenkiewicz
Publikováno v:
Logical Foundations of Computer Science ISBN: 9783030930998
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b5c73e634bea12d0cbccb22b1101b38e
https://doi.org/10.1007/978-3-030-93100-1_23
https://doi.org/10.1007/978-3-030-93100-1_23
Autor:
Maciej Zielenkiewicz, Aleksy Schubert
Publikováno v:
Logic-Based Program Synthesis and Transformation ISBN: 9783319631387
LOPSTR
LOPSTR
Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synthesis of a program the type of which is a given formula. We present a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8e71317d320863de5d8b3d6d9aaa39d2
https://doi.org/10.1007/978-3-319-63139-4_20
https://doi.org/10.1007/978-3-319-63139-4_20
Autor:
Aleksy Schubert, Maciej Zielenkiewicz
Predicate intuitionistic logic is a well established fragment of dependent types. According to the Curry-Howard isomorphism proof construction in the logic corresponds well to synthesis of a program the type of which is a given formula. We present a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::ad696c2031f763174dd4178f3ad347a1
http://arxiv.org/abs/1608.05698
http://arxiv.org/abs/1608.05698
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783662460771
SOFSEM
SOFSEM
Although there exist rare cases where exponential algorithms are used with success, practical software projects mostly consist of polynomial code. We present an automatic analysis tool which divides while-loops in a Java software project into polynom
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::269654433b99715bd407ddc37dd3b131
https://doi.org/10.1007/978-3-662-46078-8_50
https://doi.org/10.1007/978-3-662-46078-8_50
Autor:
Maciej Zielenkiewicz, Aleksy Schubert
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 210:2-2
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::320926d4e5bc30ce133e68833af3a299
https://doi.org/10.4204/eptcs.210.2
https://doi.org/10.4204/eptcs.210.2
