logo pages de liens

UniversitySurf.net
Votre portail e-Learning
CultureMATH
ENSup. et Minist. EN
Séminaire MaMuX
Mathématiques, musique et relations avec d'autres disciplines

  

Méta Langages - Meta Languages



Bas de page

PAGES WEB

Elf is a constraint logic programming language based on the LF Logical Framework. It has no connection whatsoever to the ELF® statistical package, a commercial product by The Winchendon Group, Inc.
Elf is a uniform meta-language for specifying, implementing, and proving properties of programming languages and logics.
<http://www.cs.cmu.edu/afs/cs/user/fp/www/elf.html>
there are some problems and applications where the expressive power of CLP does not suffice. For example, qualitative reasoning needs a tool which is able to reason and infer information on constraints such as the determination of the tighter constraint which holds between two variables.
<http://www-lia.deis.unibo.it/Research/Areas/constrlang.html>

precsuivant

SOURCES

Sources Examples Tools Papers
<ftp://ftp.cs.cmu.edu/user/fp/INDEX.html> <ftp://ftp.cs.cmu.edu/afs/cs/project/ergo/export/ess/>

precsuivant

LIVRES - BOOKS

by Krzysztof Apt and Franco Turini (eds.)
<http://mitpress.mit.edu/book-home.tcl?isbn=0262011522>

precsuivant

DOCUMENTS - PAPERS

This is the ftp index for papers related to Elf with short additional descriptions.
<ftp://ftp.cs.cmu.edu/user/fp/elf-papers/INDEX.html>
The KIF vocabulary for representing metalinguistic knowledge.
<http://www-ksl.stanford.edu/knowledge-sharing/ontologies/html/kif-meta/index.html> <http://www.informatik.uni-trier.de/~ley/db/conf/lopstr/lopstr94.html>

 haut de page











Advertising :   If you see a reference in one of the files that is not linked, and you know of a link address to the appropriate document, please send me mail, and I will include the link in the document. Thanks very much in advance.
Avertissement :    Le classement par catégories est approximatif. Certains liens se retrouvent dans des rubriques différentes et sur plusieurs pages. Les commentaires sont généralement des courts extraits des pages référencées. Il est possible que certains liens nécessitent une mise à jour.
Tous commentaires ou remarques sont les bienvenus, vous pouvez les adresser à :
écrire

Les mises à jour demandées sont réalisées dès que possible et, sauf si c'est nécessaire, aucun message de réponse n'est expédié. Merci de m'écrire.

Copyright © 1999-2012 Jean-Paul Davalan - Reproduction interdite.