المؤلفون: Jean-Marie Madiot, François Pottier

المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498672⟩
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498672⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], separation logic, CCS Concepts: • Theory of computation → Separation logic, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, live data, 01 natural sciences, program verification, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, tracing garbage collection, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::670c25075d65e4ff589f474ce2a7bfc8
https://doi.org/10.1145/3498672

المؤلفون: Moine, Alexandre, Charguéraud, Arthur, Pottier, François

المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), 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)-Centre National de la Recherche Scientifique (CNRS)-Matériaux et nanosciences d'Alsace (FMNGE), 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 du CNRS (INC)-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 du CNRS (INC)-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)

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Program verification, Tracing garbage collection, Live data

URL الوصول: https://explore.openaire.eu/search/publication?articleId=od______1398::f1e6d3f1be2d28b09c780a645c295a60
https://hal.inria.fr/hal-03823056/document

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Alexandre Moine, Arthur Charguéraud, François Pottier

المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria), 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)-Institut National de Recherche en Informatique et en Automatique (Inria)-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 du CNRS (INC)-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 du CNRS (INC)-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), 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))-Centre National de la Recherche Scientifique (CNRS)-Université de Strasbourg (UNISTRA)-Centre National de la Recherche Scientifique (CNRS)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, In press, POPL, 7, ⟨10.1145/3571218⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Separation Logic, Program verification, Safety, Risk, Reliability and Quality, Tracing garbage collection, Software, Live data

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6decef0d37438ca240c892cddcf0f9e2
https://inria.hal.science/hal-03852060/file/spacelambda.pdf

لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل.

المؤلفون: Jiho Choi, Thomas Shull, Josep Torrellas

المصدر: PACT

مصطلحات موضوعية: 010302 applied physics, Swift, Computer science, Reference counting, 02 engineering and technology, Thread (computing), 021001 nanoscience & nanotechnology, computer.software_genre, 01 natural sciences, Execution time, Tracing garbage collection, 0103 physical sciences, Atomic operations, Operating system, 0210 nano-technology, Implementation, computer, Garbage collection, computer.programming_language

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6e5305b1cb5bcbb43534ceac669d484d
https://doi.org/10.1145/3243176.3243195

المؤلفون: John Kubiatowicz, Krste Asanovic, Martin Maas

المصدر: ISCA

مصطلحات موضوعية: Java, Computer science, Overhead (engineering), 02 engineering and technology, Tracing, computer.software_genre, 01 natural sciences, Tracing garbage collection, 0103 physical sciences, 0202 electrical engineering, electronic engineering, information engineering, System on a chip, Static random-access memory, Electrical and Electronic Engineering, Field-programmable gate array, Instruction cycle, computer.programming_language, 010302 applied physics, Memory controller, 020202 computer hardware & architecture, Memory management, Hardware and Architecture, Operating system, Hardware acceleration, Garbage, computer, Software, Garbage collection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6fbc617b05e003d12cca440b724797c0
https://doi.org/10.1109/isca.2018.00022

المؤلفون: Jipeng Huang, Michael D. Bond

المصدر: OOPSLA

مصطلحات موضوعية: Context sensitivity, business.industry, Computer science, Distributed computing, Reuse, Data structure, computer.software_genre, Computer Graphics and Computer-Aided Design, Memory leak, Memory management, Software, Tracing garbage collection, Operating system, business, computer, Garbage collection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0cfd5ea048369c94b84ae5c68fac503d
https://doi.org/10.1145/2544173.2509510

المؤلفون: PetrankErez, BarabashKatherine

المصدر: ACM SIGPLAN Notices. 45:1-10

مصطلحات موضوعية: Multi-core processor, Memory management, Software, Computer science, business.industry, Tracing garbage collection, Parallelism (grammar), Multiprocessing, Parallel computing, business, Computer Graphics and Computer-Aided Design, Garbage collection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::d98085bad4365604b897d7dd5817fbe2
https://doi.org/10.1145/1837855.1806653

المؤلفون: BoehmHans-J.

المصدر: ACM SIGPLAN Notices. 39:210-219

مصطلحات موضوعية: Memory management, Programming language, Computer science, Reference counting, Tracing garbage collection, Space (commercial competition), computer.software_genre, Computer Graphics and Computer-Aided Design, computer, Software, Garbage collection

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::6411938e7d78f3f25d75727467b4a3e5
https://doi.org/10.1145/982962.964019