PEPS Relations December
27
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
Découvre YouScribe et accède à tout notre catalogue !
Découvre YouScribe et accède à tout notre catalogue !
27
pages
English
Documents
Obtenez un accès à la bibliothèque pour le consulter en ligne En savoir plus
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
Publié par
Langue
English
