المؤلفون: Małgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

المصدر: Logical Methods in Computer Science, Vol Volume 20, Issue 3 (2024)

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

وصف الملف: electronic resource

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

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

المؤلفون: Martin Bodin, Thomas Jensen, Alan Schmitt

المصدر: Electronic Proceedings in Theoretical Computer Science, Vol 129, Iss Festschrift for Dave Schmidt, Pp 360-383 (2013)

مصطلحات موضوعية: Mathematics, QA1-939, Electronic computers. Computer science, QA75.5-76.95

وصف الملف: electronic resource

Relation: http://arxiv.org/pdf/1309.5149v1; https://doaj.org/toc/2075-2180

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

المؤلفون: Adam Khayam, Louis Noizet, Alan Schmitt

المساهمون: Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)

المصدر: PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming
PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-14, ⟨10.1145/3551357.3551381⟩

مصطلحات موضوعية: Monads, [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL], Functional programming, Skeletal Semantics, ECMAScript

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::167899a01f083c9f95e8d811f12e87dc
https://inria.hal.science/hal-03782992/document

المؤلفون: Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille NoûS

المساهمون: Analyse sémantique et compilation pour la sécurité des environnements d'exécution (EPICURE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Proof-oriented development of computer-based systems (MOSEL), Department of Formal Methods (LORIA - FM), Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Laboratoire Lorrain de Recherche en Informatique et ses Applications (LORIA), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Modeling and Verification of Distributed Algorithms and Systems (VERIDIS), Max-Planck-Institut für Informatik (MPII), Max-Planck-Gesellschaft-Max-Planck-Gesellschaft-Inria Nancy - Grand Est, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-Department of Formal Methods (LORIA - FM), Institut National de Recherche en Informatique et en Automatique (Inria)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS)-Université de Lorraine (UL)-Centre National de la Recherche Scientifique (CNRS), Laboratoire Cogitamus

المصدر: PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming
PPDP 2022-24th International Symposium on Principles and Practice of Declarative Programming, Sep 2022, Tbilisi, Georgia. pp.1-48, ⟨10.1145/3551357.3551384⟩

مصطلحات موضوعية: Big-Step, Small-Step, Operational Semantics, [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0ac4e4d406c5e66ce1991dd5a1ca48e1
https://inria.hal.science/hal-03768820

المؤلفون: Alan Schmitt, Nils Gesbert, Efficiently Deciding, Hal Id Hal, Nabil Layaı̈da Inria, Alan Schmitt Inria, Universite ́ Grenoble Alpes

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://hal.inria.fr/hal-00868722/document/.

مصطلحات موضوعية: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—modal logic, F.4.3 [Mathematical Logic and Formal Languages, Formal Languages—decision problems, E.1 [Data Structures, Trees General Terms, Algorithms, languages, theory, verification Additional Key Words and Phrases, Modal logic, satisfiability, implementation ACM Reference Format

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.2169

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.699.2169

المؤلفون: Alan Schmitt, Guillaume Ambal, Sergueï Lenglet

المصدر: Journal of Automated Reasoning. 65:75-124

مصطلحات موضوعية: De Bruijn sequence, Theoretical computer science, Computer science, Process (engineering), Carry (arithmetic), Process calculus, Prove it, 020207 software engineering, Context (language use), 0102 computer and information sciences, 02 engineering and technology, 01 natural sciences, Computational Theory and Mathematics, 010201 computation theory & mathematics, Artificial Intelligence, Abstract syntax, 0202 electrical engineering, electronic engineering, information engineering, Software, Scope (computer science)

URL الوصول: https://explore.openaire.eu/search/publication?articleId=doi_________::b6fc4c3538b08ed6718ca64384d0a880
https://doi.org/10.1007/s10817-020-09553-0

المؤلفون: Małgorzata Biernacka and Dariusz Biernacki and Sergueï Lenglet and Alan Schmitt, Biernacka, Małgorzata, Biernacki, Dariusz, Lenglet, Sergueï, Schmitt, Alan

مصطلحات الفهرس: Abstract machines, non-determinism, lambda-calculus, process calculi, InProceedings, Text, doc-type:ResearchArticle, publishedVersion

URL: https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CONCUR.2022.7
Is Part Of LIPIcs, Volume 243, 33rd International Conference on Concurrency Theory (CONCUR 2022)

المؤلفون: Martin Bodin, Thomas Jensen, Alan Schmitt, Hal Id Hal

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://hal.inria.fr/hal-01111588/document/.

مصطلحات موضوعية: Categories and Subject Descriptors F.3.1 [Specifying and Veri- fying and Reasoning about Programs, Mechanical verification Keywords Abstract Interpretation, Big-step semantics, Coq

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.7123

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.7123

المؤلفون: Alan Schmitt, Inria Rennes

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://hal.inria.fr/hal-00868724/document/.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6910

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.6910

المؤلفون: Ivan Lanese, Jorge Perez, Davide Sangiorgi, Alan Schmitt, Ivan Lanesea, Jorge A. Pérezb, Davide Sangiorgia, Alan Schmittc

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://hal.inria.fr/hal-01112294/document/.

مصطلحات موضوعية: Process calculi, Higher-order communication, Bisimulation, Expressiveness Contents

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.689.5161

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.689.5161

المؤلفون: Université De, Nice-sophia Antipolis, École Doctorale Stic, Nuno Gaspar, Loulergue Lifo, Alan Schmitt, Inria Bretagne Atlantique, Examinateurs Luis, Yves Bertot, Inria Sophia Antipolis, Directeur Eric, Madelaine Inria, Sophia Antipolis

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://hal.inria.fr/tel-01114217/document/.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.6156

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.669.6156

المؤلفون: Adam Khayam, Louis Noizet, Alan Schmitt

المساهمون: Software certification with semantic analysis (CELTIQUE), Inria Rennes – Bretagne Atlantique, Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)-LANGAGE ET GÉNIE LOGICIEL (IRISA-D4), Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National de Recherche en Informatique et en Automatique (Inria)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Université de Rennes (UNIV-RENNES)-CentraleSupélec-IMT Atlantique Bretagne-Pays de la Loire (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Bretagne Sud (UBS)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Institut de Recherche en Informatique et Systèmes Aléatoires (IRISA), Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-Institut National des Sciences Appliquées (INSA)-Université de Rennes (UNIV-RENNES)-École normale supérieure - Rennes (ENS Rennes)-Centre National de la Recherche Scientifique (CNRS)-Université de Rennes 1 (UR1), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT), Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-Institut National de Recherche en Informatique et en Automatique (Inria)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique), Institut Mines-Télécom [Paris] (IMT)-Institut Mines-Télécom [Paris] (IMT)-Université de Rennes (UR)-Institut National des Sciences Appliquées - Rennes (INSA Rennes), Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université de Bretagne Sud (UBS)-École normale supérieure - Rennes (ENS Rennes)-CentraleSupélec-Centre National de la Recherche Scientifique (CNRS)-IMT Atlantique (IMT Atlantique)

المصدر: JFLA 2021-Journées Francophones des Langages Applicatifs
JFLA 2021-Journées Francophones des Langages Applicatifs, Apr 2021, Virtuelles, France. pp.1-22
HAL

مصطلحات موضوعية: [INFO.INFO-PL]Computer Science [cs]/Programming Languages [cs.PL]

URL الوصول: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::97e1912f31a1ef876b51eaac92c42ea9
https://hal.inria.fr/hal-03509431

المؤلفون: Maksimovic ́ Petar, Alan Schmitt, Hocore Coq, David Baelde, Jade Alglave, Hal Id Hal, Martín Escarrá, Petar Maksimović

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: https://hal.inria.fr/hal-01099130/document/.

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8932

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.698.8932

المؤلفون: Martin Bodin, Arthur Charguéraud, Daniele Filaretti, Sergio Maffeis, Alan Schmitt, Gareth Smith

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors D.3.1 [Programming Lan- guages, Formal Definitions and Theory Keywords JavaScript, mechanised semantics, Coq

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400; http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.639.1400
http://www.doc.ic.ac.uk/~gds/papers/jscert_popl14.pdf

المؤلفون: Pierre Genevès, Nabil Layaïda, Alan Schmitt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.archives-ouvertes.fr/docs/00/86/87/22/PDF/tree-calculus.pdf.

مصطلحات موضوعية: Categories and Subject Descriptors, F.4.1 [Mathematical Logic and Formal Languages, Mathematical Logic—modal logic, F.4.3 [Mathematical Logic and Formal Languages, Formal Languages—decision problems, E.1 [Data Structures, Trees General Terms, Algorithms, languages, theory, verification Additional Key Words and Phrases, Modal logic, satisfiability, implementation ACM Reference Format

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.3745; http://hal.archives-ouvertes.fr/docs/00/86/87/22/PDF/tree-calculus.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.400.3745
http://hal.archives-ouvertes.fr/docs/00/86/87/22/PDF/tree-calculus.pdf

المؤلفون: Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.cs.unibo.it/~lanese/publications/hal/esop2013.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.8490; http://www.cs.unibo.it/~lanese/publications/hal/esop2013.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.641.8490
http://www.cs.unibo.it/~lanese/publications/hal/esop2013.pdf

المؤلفون: Pierre Genevès, Nabil Layaïda, Alan Schmitt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/87/22/02/PDF/cc.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.2185; http://hal.inria.fr/docs/00/87/22/02/PDF/cc.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.406.2185
http://hal.inria.fr/docs/00/87/22/02/PDF/cc.pdf

المؤلفون: Ivan Lanese, Michael Lienhardt, Claudio Antares Mezzina, Alan Schmitt, Jean-bernard Stefani

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/81/16/29/PDF/crop.pdf.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.373.1127; http://hal.inria.fr/docs/00/81/16/29/PDF/crop.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.373.1127
http://hal.inria.fr/docs/00/81/16/29/PDF/crop.pdf

المؤلفون: Alan Schmitt Inria, Alan Schmitt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://www.sics.se/pepito/D3.3/papers/dynjoin.ps.gz.

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1721; http://www.sics.se/pepito/D3.3/papers/dynjoin.ps.gz

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.1721
http://www.sics.se/pepito/D3.3/papers/dynjoin.ps.gz

المؤلفون: Pierre Genevès, Nabil Layaïda, Alan Schmitt

المساهمون: The Pennsylvania State University CiteSeerX Archives

المصدر: http://hal.inria.fr/docs/00/71/43/74/PDF/RR-8010.pdf.

مصطلحات موضوعية: † Inria

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

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.288; http://hal.inria.fr/docs/00/71/43/74/PDF/RR-8010.pdf

الاتاحة: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.593.288
http://hal.inria.fr/docs/00/71/43/74/PDF/RR-8010.pdf