Cet ouvrage fait partie de la bibliothèque YouScribe
Obtenez un accès à la bibliothèque pour le lire en ligne
En savoir plus

A proof theoretical journey through programming model checking and

De
26 pages
Niveau: Supérieur
A proof-theoretical journey through programming, model checking and theorem proving David Baelde IT University of Copenhagen ASL Meeting, Structural Proof Theory Session Madison, Wisconsin, April 2012 1 / 26

  • messy sequent

  • structural proof

  • logic programming

  • nil

  • theory session

  • focused proofs

  • proof-theoretical journey

  • app


Voir plus Voir moins

Vous aimerez aussi

Aproof-theoreticaljourneythroughprogramming,modelcheckingandtheoremprovingDavidBaeldeITUniversityofCopenhagenASLMeeting,StructuralProofTheorySessionMadison,Wisconsin,April20121/62
oLigcrpgoarmmnigAspecification(Γ)k.appnilkkxlkm.applkmapp(x::l)k(x::m)Messysequentcalculusproofs...Γ,km.app[4]kmapp[3;4]k(3::m)`app[0]nil[0]Γ`app[0]nil[0]Γ,appnil[1;2;3][1;2;3]`app[0]nil[0]Γ`app[0]nil[0]2/62
Un pour Un
Permettre à tous d'accéder à la lecture
Pour chaque accès à la bibliothèque, YouScribe donne un accès à une personne dans le besoin