![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
SPLT 1982: Perros-Guirec, France
- Mehmet Dincbas, Didier Feuerstein:
SPLT'82, Séminaire Programmation en Logique, 4-5 février 1982, Perros-Guirec, France. 1982
PROLOG: Implémentations et environnements de programmation
- Henry Kanoui:
L'environnement de Prolog III. SPLT 1982 - M. Martin, T. Joubert:
Interpréteur de Prolog en Pascal sous Multics. SPLT 1982 - Yves Bekkers, Bernard Canet:
Gestion de mémoire dans les interpréteurs Prolog. SPLT 1982 - Philippe Donz:
Prolog comme outil de génie logiciel. SPLT 1982 - Michel Van Caneghem:
"Dif", un moyen simple pour un contrôle complexe. SPLT 1982
Logique et Programmation Fonctionelle
- Jean Rohmer:
Prolog et les langages fonctionnels: comparaison de la sémantique et des interpréteurs. SPLT 1982 - Jean-Pierre Banâtre:
Parallélisme et programmation fonctionnelle à la Backus. SPLT 1982 - Hervé Gallaire, Alain Grumbach, E. Papon:
Présentation de Loglisp et QLog: aspects contrôle de résolution et évaluation des expressions. SPLT 1982 - Serge Bourgault, Mehmet Dincbas, Didier Feuerstein:
Programmation en logique en environnement Lisp. SPLT 1982
Logique et spécifications
- Pierre Deransart:
Prolog et types abstraits algébriques. SPLT 1982 - T. Joubert, M. Martin:
OASIS: Outil interactif d'aide à la spécification. SPLT 1982 - René Jacquart, Michel Lemaître, Guy Zanon:
LF: langage de spécification de fonctions et de types de données en logique. SPLT 1982
Machines spécialisées
- Christian Percebois, Jean-Paul Sansonnet:
Implémentation logicielle et matérielle des ressources et des fonctions de manipulation de listes. SPLT 1982
![](https://dblp.dagstuhl.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.