SOS08 July

pages

English

Documents

Lire un extrait

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

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

Découvre YouScribe en t'inscrivant gratuitement

Je m'inscris

pages

English

Ebook

Lire un extrait

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

Publié par

chaeh

Nombre de lectures

Langue

English

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

Publié par

chaeh

Nombre de lectures

Langue

English

SOS08,6July2008FormalizingSOSspeciﬁcationsinlogicDaleMiller,INRIA-Saclay&LIX,E´colePolytechniqueBasedontechnicalresultsin:•M&Tiu:“GenericJudgments”,lics03,ToCL2005•Tiu:ModelCheckingforπ-Calculus,concur05•Ziegler,M,Palamidessi:Acongruenceformatforname-passing,sos05•Gacek,M,Nadathur:Combininggenericjudgmentswithrecursivedeﬁnitions,lics08.CollaborationbetweentheINRIAteamParsifal,theUniversityofMinnesota,andtheAustralianNationalUniversity.32/1

SOS08,6July2008Theoverviewofthenext10−6centuryBriefremarksabouttheusesoflogicincomputingMakingsyntaxmoreabstractanddeclarativeTheπ-calculusasanexampleandcounterexampleThe∇-quantiﬁerMoreabouttheπ-calculus232/

Voir