Výsledky vyhledávání - "CCS Concepts: • Theory of computation → Programming logic"

RustHornBelt: a semantic foundation for functional verification of Rust programs with unsafe code

Autoři: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri a další

Přispěvatelé: Matsushita, Yusuke Denis, Xavier Jourdan, Jacques-Henri a další

Zdroj: PLDI '22

Témata: Separation logic, [INFO.INFO-LO] Computer Science [cs]/Logic in Computer Science [cs.LO], type systems, separation logic, 0202 electrical engineering, electronic engineering, information engineering, Iris, Type theory Rust, 02 engineering and technology, prophecy variables, verification, CCS Concepts: • Theory of computation → Programming logic

Popis souboru: application/pdf

Přístupová URL adresa: https://inria.hal.science/hal-03777103v1/document
https://inria.hal.science/hal-03777103v1
https://doi.org/10.1145/3519939.3523704
http://hdl.handle.net/21.11116/0000-000A-AF23-A
http://hdl.handle.net/21.11116/0000-000A-AF25-8

RustBelt: Securing the Foundations of the Rust Programming Language

Autoři: Jung, Ralf Jourdan, Jacques-Henri Krebbers, Robbert a další

Přispěvatelé: Jung, Ralf Jourdan, Jacques-Henri Krebbers, Robbert a další

Zdroj: Proceedings of the ACM on Programming Languages ; 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018) ; https://hal.archives-ouvertes.fr/hal-01633165 ; 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018), Jan 2018, Los Angeles, CA, United States. pp.66, ⟨10.1145/3158154⟩ ; https://popl18.sigplan.org/home

Témata: Operational semantics, concurrency, Rust, logical relations, type systems, Programming logic, Separation logic, CCS Concepts: • Theory of computation → Programming logic, Additional Key Words and Phrases: Rust, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], [INFO.INFO-PF]Computer Science [cs]/Performance [cs.PF], [INFO.INFO-LO]Computer Science [cs]/Logic in Computer Science [cs.LO]

Geografické téma: Los Angeles, CA, United States

Relation: info:eu-repo/grantAgreement//683289/EU/Logical Foundations for the Future of Safe Systems Programming/RustBelt; hal-01633165; https://hal.archives-ouvertes.fr/hal-01633165; https://hal.archives-ouvertes.fr/hal-01633165v2/document; https://hal.archives-ouvertes.fr/hal-01633165v2/file/paper.pdf

Dostupnost: https://hal.archives-ouvertes.fr/hal-01633165
https://hal.archives-ouvertes.fr/hal-01633165v2/document
https://hal.archives-ouvertes.fr/hal-01633165v2/file/paper.pdf
https://doi.org/10.1145/3158154