المؤلفون: Guéneau, Armaël, Hostert, Johannes, Spies, Simon, Sammler, Michael, Birkedal, Lars, Dreyer, Derek

المساهمون: Formally Verified Programs, Certified Tools and Numerical Computations (TOCCATA), Inria Saclay - Ile de France, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Laboratoire Méthodes Formelles (LMF), Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Université Paris-Saclay-Centre National de la Recherche Scientifique (CNRS)-Ecole Normale Supérieure Paris-Saclay (ENS Paris Saclay), Saarland University Saarbrücken, Max Planck Institute for Software Systems (MPI-SWS), Aarhus University Aarhus, SIGPLAN

المصدر: Proceedings of the ACM ; OOPSLA 2023 - Object-Oriented Programming, Systems, Languages & Applications 2023 ; https://inria.hal.science/hal-04203298 ; OOPSLA 2023 - Object-Oriented Programming, Systems, Languages & Applications 2023, SIGPLAN, Oct 2023, Cascais, Portugal. ⟨10.1145/3622823⟩

مصطلحات موضوعية: OCaml, program logics, multi-language semantics, garbage collection, separation logic, angelic non-determinism, transfinite step-indexing, Iris, Coq, foreign-function interfaces, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

جغرافية الموضوع: Cascais, Portugal

Relation: hal-04203298; https://inria.hal.science/hal-04203298; https://inria.hal.science/hal-04203298v2/document; https://inria.hal.science/hal-04203298v2/file/melocoton.pdf

الاتاحة: https://inria.hal.science/hal-04203298
https://inria.hal.science/hal-04203298v2/document
https://inria.hal.science/hal-04203298v2/file/melocoton.pdf
https://doi.org/10.1145/3622823

المؤلفون: Spies, S, Krishnaswami, N, Dreyer, D

مصطلحات موضوعية: termination, transfinite step-indexing, higher-order state, linear types, ordinals, channels, asynchronous computation, asynchronous programming, logical relations

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

Relation: https://www.repository.cam.ac.uk/handle/1810/319771

الاتاحة: https://www.repository.cam.ac.uk/handle/1810/319771
https://doi.org/10.17863/CAM.66896

المؤلفون: Derek Dreyer, Simon Spies, Neel Krishnaswami

المساهمون: Krishnaswami, Neel [0000-0003-2838-5865], Apollo - University of Cambridge Repository

المصدر: Proceedings of the ACM on Programming Languages
48th ACM SIGPLAN Symposium on Principles of Programming Languages

مصطلحات موضوعية: termination, Theoretical computer science, Unary operation, Computer science, Liveness, asynchronous programming, Natural number, 02 engineering and technology, JavaScript, channels, 01 natural sciences, ordinals, 0202 electrical engineering, electronic engineering, information engineering, 0101 mathematics, Safety, Risk, Reliability and Quality, asynchronous computation, computer.programming_language, transfinite step-indexing, 010102 general mathematics, Search engine indexing, higher-order state, 020207 software engineering, linear types, logical relations, Key (cryptography), State (computer science), computer, Software, Transfinite number

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

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::82f47a81ff5a0e151726f01b12921d5c