SOS08 July

English
23 Pages
Read an excerpt
Gain access to the library to view online
Learn more

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


Subjects

Informations

Published by
Reads 8
Language English
Report a problem
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/