المؤلفون: Paulo Emílio de Vilhena, François Pottier

المصدر: Logical Methods in Computer Science, Vol Volume 19, Issue 4 (2023)

مصطلحات موضوعية: computer science - logic in computer science, computer science - programming languages, Logic, BC1-199, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: https://lmcs.episciences.org/8851/pdf; https://doaj.org/toc/1860-5974

URL الوصول: https://doaj.org/article/c3eb8936345649fda3bf96782f94e5cb

المؤلفون: Mario Correia, François Pottier

المساهمون: La Documentation Française

المصدر: Formation Emploi 71(1):65-82

URL الوصول: http://www.persee.fr/doc/forem_0759-6340_2000_num_71_1_2379

المؤلفون: Mario Correia, François Pottier

المساهمون: Institut national d'étude du travail et d'orientation professionnelle

المصدر: L’Orientation scolaire et professionnelle 28(4):539-562

URL الوصول: https://www.persee.fr/doc/binop_0249-6739_1999_num_28_4_1298

المؤلفون: François Pottier

المساهمون: La Documentation Française

المصدر: Formation Emploi 55(1):59-75

URL الوصول: http://www.persee.fr/doc/forem_0759-6340_1996_num_55_1_2164

المؤلفون: Paulo Emílio de Vilhena, François Pottier

المصدر: Programming Languages and Systems ISBN: 9783031300431

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::2a19cc61d7dc9f7508574ba63a9be869
https://doi.org/10.1007/978-3-031-30044-8_9

المؤلفون: Jean-Marie Madiot, François Pottier

المساهمون: Langages de programmation : systèmes de types, concurrence, preuve de programme (CAMBIUM), Collège de France (CdF (institution))-Inria de Paris, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)

المصدر: Proceedings of the ACM on Programming Languages
Proceedings of the ACM on Programming Languages, ACM, 2022, ⟨10.1145/3498672⟩
Proceedings of the ACM on Programming Languages, 2022, ⟨10.1145/3498672⟩

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], separation logic, CCS Concepts: • Theory of computation → Separation logic, 020207 software engineering, 0102 computer and information sciences, 02 engineering and technology, live data, 01 natural sciences, program verification, 010201 computation theory & mathematics, TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS, tracing garbage collection, 0202 electrical engineering, electronic engineering, information engineering, Safety, Risk, Reliability and Quality, Software

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::670c25075d65e4ff589f474ce2a7bfc8
https://doi.org/10.1145/3498672

المؤلفون: Alain Charlot, François Pottier

المساهمون: Institut national d'étude du travail et d'orientation professionnelle

المصدر: L’Orientation scolaire et professionnelle 18(1):45-57

URL الوصول: https://www.persee.fr/doc/binop_0249-6739_1989_num_18_1_1687

المؤلفون: Alain Charlot, François Pottier

المساهمون: La Documentation Française

المصدر: Formation Emploi 25(1):3-18

URL الوصول: http://www.persee.fr/doc/forem_0759-6340_1989_num_25_1_1325

المؤلفون: Alain Charlot, François Pottier

المساهمون: La Documentation Française

المصدر: Formation Emploi 18(1):82-100

URL الوصول: http://www.persee.fr/doc/forem_0759-6340_1987_num_18_1_1209

المؤلفون: François Pottier

المساهمون: La Documentation Française

المصدر: Formation Emploi 13(1):45-50

URL الوصول: http://www.persee.fr/doc/forem_0759-6340_1986_num_13_1_1162