From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

The End of History? Using a Proof Assistant to Replace Language Design with Library Design.

A. Chlipala, B. Delaware, S. Duchovni, J. Gross, C. Pit-Claudel, S. Suriyakarn, P. Wang, и K. Ye. SNAPL, том 71 из LIPIcs, стр. 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Clément Grimal

Clément Ménier

Clément Dupont

Clément Quinton

Felix Clément

Другие публикации лиц с тем же именем

Untangling mechanized proofs.C. Pit-Claudel. SLE, стр. 155-174. ACM, (2020)Fiat: Deductive Synthesis of Abstract Data Types in a Proof Assistant.B. Delaware, C. Pit-Claudel, J. Gross, и A. Chlipala. POPL, стр. 689-700. ACM, (2015)Correct-by-Construction Implementation of Runtime Monitors Using Stepwise Refinement.T. Zhang, J. Wiegley, T. Giannakopoulos, G. Eakman, C. Pit-Claudel, I. Lee, и O. Sokolsky. SETTA, том 10998 из Lecture Notes in Computer Science, стр. 31-49. Springer, (2018)Meta-F ^: Proof Automation with SMT, Tactics, and Metaprograms.G. Martínez, D. Ahman, V. Dumitrescu, N. Giannarakis, C. Hawblitzel, C. Hritcu, M. Narasimhamurthy, Z. Paraskevopoulou, C. Pit-Claudel, J. Protzenko и 3 other автор(ы). ESOP, том 11423 из Lecture Notes in Computer Science, стр. 30-59. Springer, (2019)A Coq Mechanization of JavaScript Regular Expression Semantics.N. Santo, A. Barrière, и C. Pit-Claudel. CoRR, (2024)Extensible Extraction of Efficient Imperative Programs with Foreign Functions, Manually Managed Memory, and Proofs.C. Pit-Claudel, P. Wang, B. Delaware, J. Gross, и A. Chlipala. IJCAR (2), том 12167 из Lecture Notes in Computer Science, стр. 119-137. Springer, (2020)The End of History? Using a Proof Assistant to Replace Language Design with Library Design.A. Chlipala, B. Delaware, S. Duchovni, J. Gross, C. Pit-Claudel, S. Suriyakarn, P. Wang, и K. Ye. SNAPL, том 71 из LIPIcs, стр. 3:1-3:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2017)Linear Matching of JavaScript Regular Expressions.A. Barrière, и C. Pit-Claudel. CoRR, (2023)Narcissus: Deriving Correct-By-Construction Decoders and Encoders from Binary Formats.S. Suriyakarn, C. Pit-Claudel, B. Delaware, и A. Chlipala. CoRR, (2018)Meta-F*: Metaprogramming and Tactics in an Effectful Program Verifier.G. Martínez, D. Ahman, V. Dumitrescu, N. Giannarakis, C. Hawblitzel, C. Hritcu, M. Narasimhamurthy, Z. Paraskevopoulou, C. Pit-Claudel, J. Protzenko и 3 other автор(ы). CoRR, (2018)

BibSonomy

Disambiguation