المؤلفون: Koehler, Thomas, Goens, Andrés, Bhat, Siddharth, Grosser, Tobias, Trinder, Phil, Steuwer, Michel

المساهمون: Compilation pour les Architectures MUlti-coeurS (CAMUS), Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire des sciences de l'ingénieur, de l'informatique et de l'imagerie (ICube), École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Les Hôpitaux Universitaires de Strasbourg (HUS)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et Nanosciences Grand-Est (MNGE), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Institut National de la Santé et de la Recherche Médicale (INSERM)-Institut de Chimie - CNRS Chimie (INC-CNRS)-Centre National de la Recherche Scientifique (CNRS)-Réseau nanophotonique et optique, Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)-École Nationale du Génie de l'Eau et de l'Environnement de Strasbourg (ENGEES)-Université de Strasbourg (UNISTRA)-Institut National des Sciences Appliquées - Strasbourg (INSA Strasbourg), Université de Strasbourg (UNISTRA)-Université de Haute-Alsace (UHA) Mulhouse - Colmar (Université de Haute-Alsace (UHA))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS), University of Amsterdam Amsterdam = Universiteit van Amsterdam (UvA), University of Edinburgh, University of Cambridge UK (CAM), University of Glasgow, Technical University of Berlin / Technische Universität Berlin (TU), This work was funded in part by the Engineering and Physical Sciences Research Council, through grant reference EP/V038699/1.

المصدر: 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024)
https://inria.hal.science/hal-04372044Test
51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024), Jan 2024, London, United Kingdom. ⟨10.1145/3632900⟩

مصطلحات موضوعية: e-graphs, equality saturation, theorem provers, optimizing compilers, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF]

جغرافية الموضوع: London, United Kingdom

العلاقة: hal-04372044; https://inria.hal.science/hal-04372044Test; https://inria.hal.science/hal-04372044/documentTest; https://inria.hal.science/hal-04372044/file/popl24-preprint.pdfTest

الإتاحة: https://doi.org/10.1145/3632900Test
https://inria.hal.science/hal-04372044Test
https://inria.hal.science/hal-04372044/documentTest
https://inria.hal.science/hal-04372044/file/popl24-preprint.pdfTest

المؤلفون: Jonathan Van der Cruysse, Christophe Dubach

مصطلحات موضوعية: equality saturation, functional programming, array programming, pattern matching, libraries

العلاقة: https://zenodo.org/record/8316752Test; https://doi.org/10.5281/zenodo.8316752Test; oai:zenodo.org:8316752

الإتاحة: https://doi.org/10.5281/zenodo.8316752Test
https://doi.org/10.5281/zenodo.8316751Test
https://zenodo.org/record/8316752Test

المؤلفون: Nandi, Chandrakana, Willsey, Max, Zhu, Amy, Saiki, Brett, Wang, Yisu, Anderson, Adam, Schulz, Adriana, Grossman, Dan, Tatlock, Zachary

المصدر: Proceedings of the ACM on Programming Languages (PACMPL)

مصطلحات موضوعية: e-graphs, rewrite rules, equality saturation, program synthesis

العلاقة: https://zenodo.org/record/5425188Test; https://doi.org/10.5281/zenodo.5425188Test; oai:zenodo.org:5425188

الإتاحة: https://doi.org/10.5281/zenodo.5425188Test
https://doi.org/10.5281/zenodo.5094056Test
https://zenodo.org/record/5425188Test

المؤلفون: Willsey, Max

المساهمون: Ceze, Luis

مصطلحات موضوعية: e-graphs, equality saturation, Computer science, Computer science and engineering

وصف الملف: application/pdf

العلاقة: Willsey_washington_0250E_22746.pdf; http://hdl.handle.net/1773/47423Test

الإتاحة: http://hdl.handle.net/1773/47423Test

المؤلفون: Nandi, Chandrakana, Willsey, Max, Zhu, Amy, Saiki, Brett, Wang, Yisu, Anderson, Adam, Schulz, Adriana, Grossman, Dan, Tatlock, Zachary

مصطلحات موضوعية: e-graphs, rewrite rules, equality saturation, program synthesis

العلاقة: https://zenodo.org/record/5094057Test; https://doi.org/10.5281/zenodo.5094057Test; oai:zenodo.org:5094057

الإتاحة: https://doi.org/10.5281/zenodo.5094057Test
https://doi.org/10.5281/zenodo.5094056Test
https://zenodo.org/record/5094057Test

المؤلفون: Sergei Alexandrovich Grechanik

المصدر: Modelirovanie i Analiz Informacionnyh Sistem, Vol 25, Iss 5 (2018)

مصطلحات موضوعية: Bisimulation, Functional programming, program transformation, Correctness, Computer science, Program transformation, Information technology, T58.5-58.64, Algebra, Denotational semantics, equality saturation, bisimulation, Transformation systems, polyprograms, Equivalence (formal languages)

الوصول الحر: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::da2ff32a7365c3e35aeebeb7e4abcfe9Test
https://www.mais-journal.ru/jour/article/view/755Test

مصطلحات الفهرس: superoptimization, equality saturation, egg, bachelor thesis

URL: http://resolver.tudelft.nl/uuid:3615d80f-bc30-4496-b3c6-038d612e3540Test

مصطلحات الفهرس: superoptimization, equality saturation, egg, bachelor thesis

URL: http://resolver.tudelft.nl/uuid:3615d80f-bc30-4496-b3c6-038d612e3540Test