Вы здесь

Главная

BIGRE

Связанные издания:

SPMS+: un outil pour gerer le "developmental baseline"
Static Analysis for Logic Program Specialisation
Static Analysis of CLP Programs over Numeric Domains
Structuration de contours discrets pour l edition d images
Structures de donnees en logique combinatoire
Synthese de Circuits Digitaux Synchrones par Transformation de Programmes applicatifs
Systeme de Preuve pour un Langage d acteurs
Teaching electronic publishing: a Scottish example
Teaching electronic publishing to computer scientists
Techniques de deverminage pour programmes parralleles
Techniques de transformations de programmes generaux et validation de meta-interpreteurs
The curriculum as a hypertext
The m-calculus over Finite Domains as an Abstract Semantics of Prolog
The new typographers: skills and organization in professional document production
Thunks (continued)
Towards Optimization of Full Prolog Programs Guided by Abstract Interpretation
Transformation of Gamma Programs
Transformations de programmes a l execution: puissance et efficience
Un algorithme parallele de recuperation de la memorie: Recycler en marquant
Une analyse du comporterment recursif de programmes Prolog par une interpretation abstraite
Une contrainte de negation par l echec en Prolog
Une experience de formation a Madagascar
Une interface evoluee pour un modeleur 3D
Une Machine Abstraite pour un Modele d Execution Parallele du Langage Prolog
Une Machine "Equitable" pour Implanter S3L
Une mise en oeuvre de l unification d expressions booleennes
Un environment graphique pour la programmation en un langage parallele: OCCAM
Un environnement de programmation pour langage d acteur distribue
Un environnement LISP pour l enseignement des mathematiques: pourquoi pas?
Un Environnement Multi-Utilisateurs base sur la Programmation Applicative
Une ouverture au Lisp en seize heures
Une representation abstraite expressions et continuations en Scheme
Une technique de transformation de programmes applicatifs: remplacer des donnees par du controle
Une transformation de programmes logiques en systemes de reecriture
Unfolding, Procedural and Fixpoint Semantics of Logic Programs
Un GC Distribue pour un Lisp Parallele
Un gestionnaire de memoire temps reel pour systemes symboliques
Un gestionnaire memoire independant pour K2
Un Langage D Analyse et de Synthese Ayant la Capacite D Apprendre
Un Langage Data-Flow Synchrone pour la Simulation Massivement Parallele
Un modele formel d execution parallele de programmes FP
Un modele pour l heritage multiple
Un Outil pour la Gestion des Logiciels: Adele 2
Un Principe de Programmation Logico-Fonctionnelle
Un systeme de gestion incrementielle des stricticites
Useless-Variable Elimination
Using Abstract Interpretation for Gate splitting in LOTOS Specifications
Using an Imperative Language ti Teach Applicative Methods
Utilisation des intervalles d estampilles pour le controle de la concurrence des acces a une base de donnees repartie
Vademecum of Divergent Term Rewriting Systems