|
Publications
-
Bekkers
,
Y. &
Tarau
, P. (1995),
Monadic
Constructs for Logic Programming,
in
'ILPS', pp. 51-65.
-
Bekkers
,
Y. &
Tarau
, P. (1995),
Logic Programming
with Monads and Comprehensions,
in
'JFPLC', pp. 161-171.
-
Bekkers
, Y. (1993),
Programmation d'ordre supérieur en lambdaProlog,
in
'JFPL',
pp. 367-390.
-
Bekkers
,
Y. & Cohen, J., ed.
,
Â
(
1992),
Memory Management,
International Workshop IWMM 92, St.
Malo
, France,
September 17-19, 1992, Proceedings
, Vol. 637, Springer.
-
Bekkers
, Y.;
Ridoux,
O. &
Ungaro
,
L. (1992),
Dynamic Memory Management for Sequential Logic Programming
Languages,
in
Yves
Bekkers
& Jacques
Cohen, ed., 'IWMM', Springer
, ,
pp. 82-102.
-
Bekkers
,
Y. &
Ungaro
, L. (1991),
Real-Time Memory
Management for Prolog,
in
Andrei
Voronkov
,
ed., 'RCLP',
Second Russian Conference on Logic Programming, St. Petersburg,
Russia, September 11-16, 1991, Proceedings
, Vol. 592, Springer, pp. 1-12.
-
Bekkers
,
Y. &
Ungaro
, L. (1991),
Two real-Time garbage collectors for Prolog,
in 'LPC'91', Logic Programming Conference,, Tokyo, Japan , Juillet 1991
- Bekkers
, Y. (1990),
Une
contrainte de négation par l'échec en Prolog,
in
Serge
Bourgault
& Mehmet
Dincbas
,
ed
.,
'SPLT', pp. 405-.
-
Bekkers
, Y.;
Canet
, B.;
Ridoux,
O. &
Ungaro
, L. (1986),
MALI: A Memory with a
Real-time Garbage Collector for Implementing Logic Programming Languages,
in
'SLP', pp. 258-264.
-
Bekkers
, Y.;
Canet
, B.;
Ridoux,
O. &
Ungaro
, L. (1984),
A Memory Management
Machine for Prolog Interpreter,
in
'ICLP', pp. 343-353.
-
Bekkers
, Y.; Canet, B.;
Ridoux,
O. & Ungaro, L. (1984),
Présentation
simplifiée d'une machine de gestion de mémoire pour les interpréteurs PROLOG,
in
Mehmet
Dincbas
,
ed
.,
'SPLT'.
-
Bekkers
,
Y. &
Canet, B. (1982),
Gestion de mémoire dans les interpréteurs Prolog,
in
Mehmet
Dincbas
& Didier
Feuerstein
,
ed
.,
'SPLT'.
-
Bekkers
,
Y. &
Decouty
, B. (1976),
A Versatile
Programmable Hardware Monitor,
in
Heinz
Beilner
&
Erol
Gelenbe
, ed.,
'Performance', North-Holland, , pp. 423-425.
-
Bekkers
,
Y.; Herman, D.
& Raynal, M. (1975),
Conception et réalisation d'une machine langage
de
haut niveau adaptèe à l'écriture de systèmes,
PhD
thesis
, Rennes 1.
|