SOS08 July

icon

23

pages

icon

English

icon

Documents

Lire un extrait
Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Découvre YouScribe et accède à tout notre catalogue !

Je m'inscris

Découvre YouScribe et accède à tout notre catalogue !

Je m'inscris
icon

23

pages

icon

English

icon

Documents

Lire un extrait
Lire un extrait

Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus

Niveau: Supérieur
SOS08, 6 July 2008 1/23 Formalizing SOS specifications in logic Dale Miller, INRIA-Saclay & LIX, Ecole Polytechnique Based on technical results in: • M & Tiu: “Generic Judgments”, lics03, ToCL 2005 • Tiu: Model Checking for π-Calculus, concur05 • Ziegler, M, Palamidessi: A congruence format for name-passing, sos05 • Gacek, M, Nadathur: Combining generic judgments with recursive definitions, lics08. Collaboration between the INRIA team Parsifal, the University of Minnesota, and the Australian National University.

  • mathematical structures representing

  • generic judgments

  • make logic expressive

  • combining generic

  • style approach

  • logic programming

  • substructural logics

  • computation directly


Voir icon arrow

Publié par

Langue

English

SOS08,6July2008FormalizingSOSspecificationsinlogicDaleMiller,INRIA-Saclay&LIX,E´colePolytechniqueBasedontechnicalresultsin:M&Tiu:“GenericJudgments”,lics03,ToCL2005Tiu:ModelCheckingforπ-Calculus,concur05Ziegler,M,Palamidessi:Acongruenceformatforname-passing,sos05Gacek,M,Nadathur:Combininggenericjudgmentswithrecursivedefinitions,lics08.CollaborationbetweentheINRIAteamParsifal,theUniversityofMinnesota,andtheAustralianNationalUniversity.32/1
SOS08,6July2008Theoverviewofthenext106centuryBriefremarksabouttheusesoflogicincomputingMakingsyntaxmoreabstractanddeclarativeTheπ-calculusasanexampleandcounterexampleThe-quantifierMoreabouttheπ-calculus232/
Voir icon more
Alternate Text