-
1
المؤلفون: 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
-
2
المؤلفون: 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 -
3دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
4
المؤلفون: 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
-
5دورية أكاديمية
لا يتم عرض هذه النتيجة على الضيوف.
تسجيل الدخول للوصول الكامل. -
6
المؤلفون: 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 -
7
المؤلفون: 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 -
8
المؤلفون: 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
-
9
المؤلفون: 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
-
10
المؤلفون: 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