PEPS Relations December

Description

Niveau: Supérieur
PEPS Relations, 15 December 2008 1/27 Relations: their uses in programming and computational specifications Dale Miller INRIA - Saclay & LIX, Ecole Polytechnique Outline 1. Logic and computation 2. Comparing programming with functions and relations 3. Examples of logic programs 4. Concluding observations

• using church numerals


• computational dynamics


• church then


• functional programming


• logic programs


• hennessy-milner logic


• symbolic logic

Sujets

• École polytechnique
• Functional Programming
• Hennessy-Milner logic
• Symbolic logic

Informations

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

Extrait

PEPSRelations,15December2008 Relations: theirusesinprogrammingand computationalspecifications DaleMiller INRIA-Saclay&LIX,EcolePolytechnique 1.Logicandcomputation Outline 2.Comparingprogrammingwithfunctionsandrelations 3.Examplesoflogicprograms 4.Concludingobservations 72/1

PEPSRelations,15December2008 Bywayofintroduction CurrentlyDRatINRIA-Saclay,teamleaderofParsifal. Former:positionsattheUniversityofPennsylvania,PennState University,andEcolePolytechnique. 72/2 Research:symboliclogicandprooftheoryappliedtocomputational logic:automateddeduction,logicprogramming,modelchecking. Influencedby:ChurchthenGentzenthenGirard.