.:. Consultation > Liste par domaine > Logique en informatique .:.

31 documents classés par : Date Titre Nom du premier auteur Type de documents Date de dépôt

1 - 2 - 3 - 4

Automated verification of termination certificates Blanqui F., Ly K. Q. Dans 15th National Symposium of Selected ICT Problems (2012) [hal-00763495 - version 1]

From Diagrammatic Confluence to Modularity Jouannaud J.-P., Liu J. Theoretical Computer Science 9032 (2012) [hal-00730272 - version 1]

Church-Rosser Properties of Normal Rewriting Jouannaud J.-P., Li J.-Q. Dans Computer Science Logic 16 (2012) 350-365 [hal-00730271 - version 1]

Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité Blanqui F. Université Paris-Diderot - Paris VII (13/07/2012), Dale Miller (Pr.) [tel-00724233 - version 2]

First steps towards the certification of an ARM simulator using Compcert Shi X., Monin J.-F., Tuong F., Blanqui F. Dans First International Conference on Certified Programs and Proofs 7086 (2011) [inria-00624833 - version 1]

Predicate Generation for Learning-Based Quantifier-Free Loop Invariant Inference Jung Y., Lee W., Wang B.-Y., Yi K. Dans TACAS 2011 - Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems 6605 (2011) 205-219 [hal-00648946 - version 1]

Argument filterings and usable rules in higher-order rewrite systems Suzuki S., Kusakari K., Blanqui F. IPSJ Transactions on Programming 4, 2 (2011) 1-12 [inria-00555008 - version 1]

CoLoR: a Coq library on well-founded rewrite relations and its application to the automated verification of termination certificates Blanqui F., Koprowski A. Mathematical Structures in Computer Science 21, 4 (2011) 827-859 [inria-00543157 - version 1]

CoqMTU: a higher-order type theory with a predicative hierarchy of universes parametrized by a decidable first-order theory Barras B., Jouannaud J.-P., Strub P.-Y., Wang Q. Dans Twenty-Sixth Annual IEEE Symposium on "Logic in Computer Science" - LICS 2011 (2011) [inria-00583136 - version 1]

Automatically Inferring Quantified Loop Invariants by Algorithmic Learning from Simple Templates Kong S., Jung Y., David C., Wang B.-Y., Yi K. In ASIAN Symposium on Programming Languages and Systems (2010) [inria-00515166 - version 1]