Вы здесь

Главная

BIGRE

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

Actalk: une Plateforme de Modelisation de Langages d Acteurs en Smalltalk-80
Algorithmes Genetiques Pour Machines Paralleles
Algorithmique parallele en langage fonctionnel: Application a MaRS-Lisp
An Abstract Interpretation Algorithm for Residuating Logic Programs
Analyse et transformation de programmes Prolog en vue deleur parallelisation aves les predicats paror et parand
Analysis of Concurrent Transactions in a Functional Database Programming Language
An Analysis/Synthesis Language with Learning Strategies
An Attempt to Find Polymorphic Types by Abstract Interpretation
ANDROMEDE. Systeme de gestion et de developpement de logiciel
An enhanced PostScript Prewiewer for experimenting and teaching new approaches in digital typography
A new, bottom-up, general parsing algorithm
An Implementation of Parameterized Partial Evaluation
A Polyvariant Binding Time Analysis Handling Partially Known Values
Approximations d Evaluateurs Fonctionnels
A Practical Application of Sharing and Freeness Inference
A propos des concepts de CLOS
A Propos des redondances dans les systems d inequations lineaires
A Propos du controle de la resolution
Architectures Paralleles pour la Synthese d Images
A Specification Framework for Data Aggregates
A Tool for Abstract Interpretation: Dynamic Programming
Automatic Construction of Prolog Primitives for Type Checking Analysis
Automatic Generation of Valid Linear Mesures for CLP(P) Programs
A way to logically measure synchronisation for distributed executions
Axiomatising Uniform Properties of Recursive Data Structures
Axiomatizations of Backtracking (extended abstract)
Bilan de six annees d utilisation operationnelle d ateliers integres de genie logiciel
Captures de Continuations dans un Systeme Distribue: un Dialogue Client/Serveur Symbolique
Chaines d additions et structures de controle
CLAS
Comparison of the Galois Connection and Widening/Narrowing Approaches to Abstract Interpretation (extended abstract)
Compilation d algorithmes distribues sur machines paralleles
Compilation de Fonctions de Tableaux en Code MIMD
Compilation de programmes fonctionnels par transformation de programmes
Compiler, c est reconstruire le temps
Computations, Abstractions and Constraints (extended abstract)
Computer programming education with Miranda
Conception et Realisation d un logiciel pour la Construction Interactive d objets 3D par le modele CSG
Constraint Hierarchies and Imperative Programming
Construction d objets geometriques definis par des contraintes
Construction interactive du maillage parallepipedique d un domaine a 3 dimensions
Continuations de premiere classe dans un systeme Scheme base sur des competeurs de references
Contribution de l approche orientee objet a la conception de protocoles experimentaux: application a l evaluation d informations graphiques
Control-Flow Effects for Escape Analysis
Decompilation is the Efficient Enumeration of Types
Decrire le developpement d un programme: un exemple
Defense (et Illustration) de la Combinaison de Methodes en CLOS
Definition de ALPHA: un langage pour la programmation systolique
Deformations d objets Modelises par Reseaux d atomes
Derivation d une Structure de Controle de Retour-Arriere