PEPS Relations December

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
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

Voir

Publié par

chaeh

Nombre de lectures

Langue

English

PEPSRelations,15December2008Relations:theirusesinprogrammingandcomputationalspeciﬁcationsDaleMillerINRIA-Saclay&LIX,EcolePolytechnique1.LogicandcomputationOutline2.Comparingprogrammingwithfunctionsandrelations3.Examplesoflogicprograms4.Concludingobservations72/1

PEPSRelations,15December2008BywayofintroductionCurrentlyDRatINRIA-Saclay,teamleaderofParsifal.Former:positionsattheUniversityofPennsylvania,PennStateUniversity,andEcolePolytechnique.72/2Research:symboliclogicandprooftheoryappliedtocomputationallogic:automateddeduction,logicprogramming,modelchecking.Inﬂuencedby:ChurchthenGentzenthenGirard.

Voir