SOS08 July

Description

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

Sujets

• École polytechnique
• Australian National University
• Logic programming
• Substructural logic

Informations

• Publié par: chaeh
• Nombre de lectures: 8
• Langue: English

Extrait

SOS08,6July2008 FormalizingSOSspecificationsinlogic DaleMiller, INRIA-Saclay&LIX,E ´ colePolytechnique Basedontechnicalresultsin: • M&Tiu:“GenericJudgments”,lics03,ToCL2005 • Tiu: ModelCheckingforπ-Calculus ,concur05 • Ziegler,M,Palamidessi: Acongruenceformatforname-passing ,sos05 • Gacek,M,Nadathur: Combininggenericjudgmentswithrecursive definitions ,lics08. CollaborationbetweentheINRIAteamParsifal,theUniversityof Minnesota,andtheAustralianNationalUniversity. 32/1

SOS08,6July2008 Theoverviewofthenext 10 − 6 century Briefremarksabouttheusesoflogicincomputing Makingsyntaxmoreabstractanddeclarative The π -calculusasanexampleandcounterexample The∇-quantifier Moreaboutthe π -calculus 232/