91documents trouvés
A simple theory of tagged types, with applications to polymorphic typing of process calculi
B.BERTHOMIEU, C.LE MONIES DE SAGAZAN
OLC
Rapport LAAS N°93270, Juillet 1993, 20p.
Diffusable
8321Tagged types. A theory of order sorted types for tagged expressions
B.BERTHOMIEU
OLC
Rapport LAAS N°93083, Mars 1993, 59p.
Diffusable
7811Programmation with behaviors in an ML framework. The syntax and semantics of LCS
B.BERTHOMIEU
OLC
Rapport LAAS N°93133, Avril 1993, 23p.
Diffusable
7813Incremental multi-threaded garbage collection on virtually shared memory architectures
T.LE SERGENT, B.BERTHOMIEU
OLC
Manifestation avec acte : International Workshop on Memory Management, Saint Malo (France), 17-19 Septembre 1992 , N° 92077
Diffusable
5768Incremental multi-threaded garbage collection on virtually shared memory architectures
T.LE SERGENT, B.BERTHOMIEU
OLC
Ouvrage (contribution) : Lecture Notes in Computer Science N°637, Eds. Y.Bekkers, J.Cohen - Springer Verlag, 1992, pp.179-199 , N° 92077
Diffusable
5769LCS, an experiment in the design and implementation of behavioral programming languages
B.BERTHOMIEU
OLC
Rapport LAAS N°92284, Juillet 1992, 20p.
Diffusable
6421Un algorithme distribué de répartition pour systèmes à variation importante et rapide de charge
T.LE SERGENT, B.BERTHOMIEU
OLC
Rapport LAAS N°92117, Mars 1992, 39p.
Diffusable
6071Un ramasse miettes distribué incrémental sur une mémoire virtuelle partagée distribuée
T.LE SERGENT, B.BERTHOMIEU
OLC
Rapport LAAS N°91373, Novembre 1991, 49p.
Diffusable
4942Une introduction à la programmation en standard ML et LCS
B.BERTHOMIEU
OLC
Rapport LAAS N°91282, Juillet 1991, 45p.
Diffusable
4611LCS Users manual (Version 2.9)
B.BERTHOMIEU, D.GIRALT, J.P.GOUYON
OLC, 2I
Rapport LAAS N°91226, Juin 1991, 130p.
Diffusable
4660