Filter your results
- 14
- 4
- 4
- 2
- 2
- 1
- 6
- 6
- 5
- 5
- 5
- 4
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 27
- 27
- 6
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 27
- 27
- 27
- 27
- 27
- 27
- 27
- 27
- 27
- 27
- 27
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 22
- 5
- 21
- 6
- 1
- 8
- 3
- 7
- 6
- 2
|
|
sorted by
|
|
Island Grammar-based Parsing using GLL and TomSLE 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
|
||
|
Unifying Nominal UnificationRTA 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
|
||
|
Performing Implicit Induction Reasoning with Certifying Proof EnvironmentsSCSS'2012 - 4th International Symposium on Symbolic Computation in Software Science, Dec 2012, Gammarth, Tunisia
Conference papers
hal-00764909v1
|
||
|
Howe's Method for Contextual SemanticsCONCUR 2015 26th International Conference on Concurrency Theory, Sep 2015, Madrid, Spain. ⟨10.4230/LIPIcs.CONCUR.2015.212⟩
Conference papers
hal-01192699v1
|
||
|
Towards an automatic tool for multi-scale model derivation2015
Preprints, Working Papers, ...
hal-01223141v1
|
||
Défis 2025Revue 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
|
|||
|
Howe's Method for Contextual Semantics[Research Report] RR-8750, Inria. 2015, pp.31
Reports
hal-01168865v1
|
||
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and EvaluationPOPL '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
|
|||
|
Réflexion éthique : une urgence. Entretien avec Claude Kirchner, propos recueillis par Dominique ChouchanLes Cahiers de l'INRIA - La Recherche, 2010, Cancer la révolution, 440 avril 2010
Journal articles
inria-00511390v1
|
||
|
A faithful encoding of programmable strategies into term rewriting systems2015
Preprints, Working Papers, ...
hal-01119941v1
|
||
Idée reçue : l'informatique nomade, c'est la liberté !Interstices, 2013
Journal articles
hal-00794187v1
|
|||
|
A faithful encoding of programmable strategies into term rewriting systemsRewriting Techniques and Application 2015, Jun 2015, Warsaw, Poland. pp.15, ⟨10.4230/LIPIcs.RTA.2015.74⟩
Conference papers
hal-01168956v1
|
||
|
Towards an automatic tool for multi-scale model derivation illustrated with a micro-mirror array17th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, SYNASC 2015, Sep 2015, Timisoara, Romania
Conference papers
hal-01243204v1
|
||
|
Environmental Bisimulations for Delimited-Control OperatorsAPLAS - 11th Asian Symposium on Programming Languages and Systems - 2013, Dec 2013, Melbourne, Australia. pp.333-348
Conference papers
hal-00903839v1
|
||
|
Environmental Bisimulations for Delimited-Control Operators2013
Preprints, Working Papers, ...
hal-00862189v1
|
||
Informatique et sciences du numérique : Édition spéciale PythonEyrolles, pp.352, 2013, 978-2212136760
Books
hal-01262640v1
|
|||
|
Une approche hybride GPL-DSL pour transformer des modèlesRevue 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
|
||
|
A Unified View of Induction Reasoning for First-Order LogicTuring-100, The Alan Turing Centenary Conference, Jun 2012, Manchester, United Kingdom
Conference papers
hal-00763236v1
|
||
|
Proving termination of evaluation for System F with control operatorsCOS 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
|
||
|
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation1st 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
|
||
|
Sound and Complete Bisimilarities for Call-by-Name and Call-by-Value Lambda-mu Calculus[Research Report] RR-8447, INRIA. 2014
Reports
hal-00926100v2
|
||
|
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-CalculusMathematical 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
|
||
|
Bringing Strategic Rewriting into the Mainstream2015
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)Springer, pp.900, 2010
Books
hal-01009675v1
|
|||
|
Model Transformations with TomLDTA - 12th Workshop on Language Descriptions, Tools and Applications - 2012, Mar 2012, Tallinn, Estonia. pp.16
Conference papers
hal-00646350v2
|
||
|
Tom-based tools to transform EMF models in avionics contextITSLE - Industrial Track of Software Language Engineering 2012, Sep 2012, Dresden, Germany
Conference papers
hal-00730738v1
|
||
|
A type system for embedded rewriting programmingSoftware Engineering [cs.SE]. Université de Lorraine, 2012. English. ⟨NNT : 2012LORR0015⟩
Theses
tel-01749159v2
|