Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request

Search Results

Display Settings
Results per page: 10
Sort By: Relevance
Filter
  • 1-10 of  1,058 results for ""programs""

Your Filters

Collection : Universite De Rennes 1
Reset filters
Item request has been placed! ×
Item request cannot be made. ×
loading  Processing Request
Conference

Detection of Uncaught Exceptions in Functional Programs by Abstract Interpretation

Subjects: Static Analysis; Exceptions; Higher-Order ProgramsLuxembourg

  • Source: Programming Languages and Systems, 33rd European Symposium on Programming, ESOP 2024, Lecture Notes in Computer Science ; ESOP 2024 - 33rd European Symposium on Programming ;

Record details

Read More Add to Saved list
×
Conference

The Design and Implementation of an Abstract Interpreter for OCaml Programs ; The Design and Implementation of an Abstract Interpreter for OCaml Programs: A Preliminary Report on the Salto Analyser

Subjects: Abstract interpretation; Static analysis; Functional languagesSeattle; Washington; United States

  • Source: ML Family 2023 - Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML Family Workshop ; https://inria.hal.science/hal-04259875 ; ML Family 2023 - Higher-order, Typed, Inferred, Strict: ACM SIGPLAN ML

Record details

Read More Add to Saved list
×
Academic Journal

The Salto Project: Static Analysis of OCaml Programs by Abstract Interpretation

Subjects: OCaml; Static analysis by abstract interpretation; [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

  • Source: ISSN: 0926-4981 ; ERCIM News.

Record details

Read More Add to Saved list
×
Report

Verification of programs with ADTs using Shallow Horn Clauses -- extended version

Subjects: Formal verification; Relational properties; Algebraic datatypes

  • Source: https://inria.hal.science/hal-04669706 ; 2024.

Record details

Read More Add to Saved list
×
Academic Journal

Physical activity and functional restoration programs in low back pain patients ; Activité physique et réentraînement à l'effort chez les patients lombalgiques

Subjects: Functional restoration programs; Low back pain; Multidisciplinary

  • Source: ISSN: 1878-6227 ; Revue du Rhumatisme monographies ; https://hal.science/hal-03284180 ; Revue du Rhumatisme monographies, 2021, 88 (3), pp.225-230. ⟨10.1016/j.monrhu.2020.11.009⟩.

Record details

Read More Add to Saved list
×
Conference

QuickFill, QuickMixte : approches par blocs pour la réduction du nombre de programmes en synthèse de programmes ; : QuickFill, QuickMixte: block approaches for reducing the number of programs in program synthesis

Subjects: Synthèse de programmes; programmation par l'exemple; manipulation des chaînes de caractèresYaoundé; Cameroon

  • Source: CARI 2022 - Colloque Africain sur la Recherche en Informatique et en Mathématiques Appliquées ; https://inria.hal.science/hal-03717860 ; CARI 2022 - Colloque Africain sur la Recherche en

Record details

Read More Add to Saved list
×
Conference

Semantic foundations for cost analysis of pipeline-optimized programs

Subjects: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]Auckland; New Zealand

  • Source: Lecture Notes in Computer Science ; SAS 2022 - 29th International Symposium on Static Analysis ; https://inria.hal.science/hal-03779257 ; SAS 2022 - 29th International Symposium on Static Analysis,

Record details

Read More Add to Saved list
×
Conference

Automated Verification of Temporal Properties of Ladder Programs

Subjects: Ladder language for programming PLCs; Timing charts; Formal specificationParis; France

  • Source: FMICS 2021 - Formal Methods for Industrial Critical Systems ; https://inria.hal.science/hal-03281580 ; FMICS 2021 - Formal Methods for Industrial Critical Systems, Aug 2021, Paris, France.

Record details

Read More Add to Saved list
×
Conference

IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs

Subjects: Compilation; I/O complexity; Polyhedral modelVirtualVirtual, Canada

  • Source: PLDI 2021 - 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation ; https://inria.hal.science/hal-03200539 ; PLDI 2021 - 42nd ACM SIGPLAN International Conference

Record details

Read More Add to Saved list
×
Academic Journal

Differential Effects of Exercise Programs on Neuregulin 4, Body Composition and Cardiometabolic Risk Factors in Men With Obesity

Subjects: HIIT (High Intensity Interval Training); exercise; neuregulin 4 (Nrg4)

  • Source: ISSN: 1664-042X ; Frontiers in Physiology ; https://hal.science/hal-03595928 ; Frontiers in Physiology, 2022, 12, pp.797574. ⟨10.3389/fphys.2021.797574⟩.

Record details

Read More Add to Saved list
×
  • 1-10 of  1,058 results for ""programs""