Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly

Filter your results

27 Results
Structure: Internal structure identifier : 205126
Image document

Island Grammar-based Parsing using GLL and Tom

Ali Afroozeh , Jean-Christophe Bach , Mark van den Brand , Adrian Johnstone , Maarten Manders et al.
SLE 2012 - 5th International Conference on Software Language Engineering, Sep 2012, Dresden, Germany. pp.224-243, ⟨10.1007/978-3-642-36089-3_13⟩
Conference papers hal-00722878v2
Image document

Unifying Nominal Unification

Christophe Calvès
RTA 2013 - 24th International Conference on Rewriting Techniques and Applications, Eindhoven University of Technology, Jun 2013, Eindhoven, Netherlands. pp.143-157, ⟨10.4230/LIPIcs.RTA.2013.143⟩
Conference papers hal-00926833v1
Image document

Performing Implicit Induction Reasoning with Certifying Proof Environments

Amira Henaien , Sorin Stratulat
SCSS'2012 - 4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia
Conference papers hal-00764909v1
Image document

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt
CONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩
Conference papers hal-01192699v1
Image document

Towards an automatic tool for multi-scale model derivation

Walid Belkhir , Nicolas Ratier , Duy Duc Nguyen , Bin Yang , Michel Lenczner et al.
2015
Preprints, Working Papers, ... hal-01223141v1

Défis 2025

Philippe Collet , Lydie Du Bousquet , Laurence Duchien , Pierre-Etienne Moreau
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2015, 34 (3), pp.311-324. ⟨10.3166/TSI.34.293-306⟩
Journal articles hal-01345654v1
Image document

Howe's Method for Contextual Semantics

Sergueï Lenglet , Alan Schmitt
[Research Report] RR-8750, Inria. 2015, pp.31
Reports hal-01168865v1

Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation

Giuseppe Castagna , Kim Nguyen , Zhiwu Xu , Hyeonseung Im , Sergueï Lenglet et al.
POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩
Conference papers hal-00907166v1
Image document

Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique Chouchan

Claude Kirchner
Les Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Journal articles inria-00511390v1
Image document

A faithful encoding of programmable strategies into term rewriting systems

Horatiu Cirstea , Sergueï Lenglet , Pierre-Etienne Moreau
2015
Preprints, Working Papers, ... hal-01119941v1

Idée reçue : l'informatique nomade, c'est la liberté !

Martin Quinson , Jean-Christophe Bach
Interstices, 2013
Journal articles hal-00794187v1
Image document

A faithful encoding of programmable strategies into term rewriting systems

Horatiu Cirstea , Sergueï Lenglet , Pierre-Etienne Moreau
Rewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩
Conference papers hal-01168956v1
Image document

Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array

Walid Belkhir , Nicolas Ratier , Duy Duc Nguyen , Bin Yang , Michel Lenczner et al.
17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Sep 2015, Timisoara, Romania
Conference papers hal-01243204v1
Image document

Environmental Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet
APLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. pp.333-348
Conference papers hal-00903839v1
Image document

Environmental Bisimulations for Delimited-Control Operators

Dariusz Biernacki , Sergueï Lenglet
2013
Preprints, Working Papers, ... hal-00862189v1

Informatique et sciences du numérique : Édition spéciale Python

Gilles Dowek , Jean-Pierre Archambault , Emmanuel Baccelli , Claudio Cimellli , Albert Cohen et al.
Eyrolles, pp.352, 2013, 978-2212136760
Books hal-01262640v1
Image document

Une approche hybride GPL-DSL pour transformer des modèles

Jean-Christophe Bach
Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2013, 33 (3), pp.26. ⟨10.3166/tsi.33.175-201⟩
Journal articles hal-00786254v2
Image document

A Unified View of Induction Reasoning for First-Order Logic

Sorin Stratulat
Turing-100, The Alan Turing Centenary Conference, Jun 2012, Manchester, United Kingdom
Conference papers hal-00763236v1

Proving termination of evaluation for System F with control operators

Małgorzata Biernacka , Dariusz Biernacki , Sergueï Lenglet , Marek Materzok
COS 2013 - First Workshop on Control Operators and their Semantics, Jun 2013, Eindhoven, Netherlands. pp.15-29, ⟨10.4204/EPTCS.127.2⟩
Conference papers hal-00860954v1
Image document

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation

Andrés Aristizábal , Dariusz Biernacki , Sergueï Lenglet , Piotr Polesiuk
1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), Jun 2016, Porto, Portugal. ⟨10.4230/LIPIcs.FSCD.2016.9⟩
Conference papers hal-01335959v1
Image document

Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus

Dariusz Biernacki , Sergueï Lenglet
[Research Report] RR-8447, INRIA. 2014
Reports hal-00926100v2
Image document

Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus

Dariusz Biernacki , Sergueï Lenglet
Mathematical Foundations of Programming Semantics Thirtieth Conference, Jun 2014, Ithaca, United States. pp.49 - 64, ⟨10.1016/j.entcs.2014.10.004⟩
Conference papers hal-01080960v1
Image document

Bringing Strategic Rewriting into the Mainstream

Emilie Balland , Horatiu Cirstea , Pierre-Etienne Moreau
2015
Preprints, Working Papers, ... hal-01128523v1

Proceedings of the 37th International Colloquium on Automata, Languages and Programming, ICALP 2010, Bordeaux, France, July 6-10, 2010, Part I & II. Volume 6198 & 6199 of Lecture Notes in Computer Science (ARCoSS)

Sansom Abramski , Cyril Gavoille , Claude Kirchner , Friedhelm Meyer auf Der Heide , Paul G. Spirakis et al.
Springer, pp.900, 2010
Books hal-01009675v1
Image document

Model Transformations with Tom

Jean-Christophe Bach , Xavier Crégut , Pierre-Etienne Moreau , Marc Pantel
LDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
Conference papers hal-00646350v2
Image document

Tom-based tools to transform EMF models in avionics context

Jean-Christophe Bach , Pierre-Etienne Moreau , Marc Pantel
ITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
Conference papers hal-00730738v1
Image document

A type system for embedded rewriting programming

Cláudia Tavares
Software Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
Theses tel-01749159v2