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

Separation Logic for Sequential Programs

Subjects: CCS Concepts: • Theory of computation → Separation logic; Logic and verification Separation Logic; Coq

  • Source: ISSN: 2475-1421 ; Proceedings of the ACM on Programming Languages ; https://inria.hal.science/hal-03108936 ; Proceedings of the ACM on Programming Languages, 2020, 4, ⟨10.1145/3408998⟩.

تفاصيل العنوان

×
Academic Journal

Overcoming Barriers: Trajectories for a School Environment That Promotes the Participation of Adolescents with Chronic Conditions

Subjects: Adolescents; Chronic conditions; School participation

  • Source: EISSN: 2328-4277 ; Earth's Future ; https://ehesp.hal.science/hal-04830472 ; Earth's Future, 2024, 2 (2), pp.92-106. ⟨10.3390/future2020008⟩

تفاصيل العنوان

×