PEPS Relations December

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

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


Subjects

Informations

Published by
Reads 10
Language English
Report a problem
PEPSRelations,15December2008Relations:theirusesinprogrammingandcomputationalspecificationsDaleMillerINRIA-Saclay&LIX,EcolePolytechnique1.LogicandcomputationOutline2.Comparingprogrammingwithfunctionsandrelations3.Examplesoflogicprograms4.Concludingobservations72/1
PEPSRelations,15December2008BywayofintroductionCurrentlyDRatINRIA-Saclay,teamleaderofParsifal.Former:positionsattheUniversityofPennsylvania,PennStateUniversity,andEcolePolytechnique.72/2Research:symboliclogicandprooftheoryappliedtocomputationallogic:automateddeduction,logicprogramming,modelchecking.Influencedby:ChurchthenGentzenthenGirard.