Agha G. &Hewitt C.
``Concurrent Programming Using Actors" in
Object-Oriented Concurrent Programming,
A Model of Concurrent Computation in Distributed Systems,
The MIT Press, 1987.
Agha G. , Mason I. A. , Smith S., and Talcott C.
``Towards a Theory of Actor Computation",
in CONCUR'92, pp 565-580, Stony Brook, NY, USA, August 1992.
D. Arnon, I. Attali, P. Franchi-Zannettacci
``Document Layout by Executable Natural Semantics Specifications",
Proc. of the PODP Conference (Principles of Document Processing)acd, Washington,
Oct. 1992.
Arvind, L. Bic and T. Ungerer
``The Evolution of Dataflow Computers",
in Jean-Luc Gaudiot and Lubomir Bic, editors,
Advanced Topics in Dataflow Computing, Prentice Hall, 1991.
I. Attali, J. Chazarain, S. Gilette
``Incremental Evaluation of Natural Semantic Specifications"
I3S Research Report 92-20,
Proc. of PLILP'92 (Programming Language Implementation and Logic Programming)
Leuven Belgique, 92, LNCS 631 pp 87-99.
Attali I. &P. Franchi-Zannettacci
``Unification-free execution of TYPOL programs by Semantic Attribute
Evaluation'' Proc. of the Fifth
International Conference Symposium on Logic Programming, Seattle, Wa, august
1988 (Cambridge MIT Press).
Attali I., Caromel D., Oudshoorn M.
``A Formal Definition of the Dynamic Semantics of the Eiffel Language"
Sixteenth Australian Computer Science Conference (ACSC-16),
Bribasne, Australia, February 1993,
also Research Report I3S 92.52.
Y. Bertot, ``Implementation of an Interpreter
for a Parallel Language in Centaur", 3rd European
Symposium on Programming, Copenhague, Danemark, mai 90, LNCS 432.
Clément D., Despeyroux J., Despeyroux T. &Kahn G.
``A simple applicative language: Mini-ML''
Symp. on Functional Programming Languages and Computer Architecture, 1986
Borras P., Clément D., Despeyroux T., Incerpi J., Kahn G., Lang B., &Pascual V.
``CENTAUR: the system''
INRIA Research Report 777, 1987, and
SIGSOFT'88, Third Annual Symposium on Software Development Environments,
Boston, Nov 88.
Caromel D., Rebuffel M.
``Object Based Concurrency: Ten Language Features to Achieve Reuse",
Technology of Object-Oriented Languages and Systems (TOOLS USA'93),
August 1993, Santa Barbara, USA, pp. 205-214.
``Abstract Control Types for Concurrency",
Panel ``How could object-oriented concepts and parallelism cohabit?",
International Conference on Computer Languages, ICCL'94, Toulouse, May 1994.
J-L. Gaudiot and C.M. Lin.
``Chaotic linear system solvers in a variable-grain data-driven
multiprocessor systems.''
In Proc. of the Conf. on Parallel Architectures and
Languages Europe, Eindhoven, The Netherlands, June 1991.
Dowek G., Felty A., Herbelin H., Huet G., Murthy C., Parent C.,
Paulin-Mohring C., and Werner B..
``The Coq Proof Assistant User's Guide", Version 5.8., INRIA, May 1993.
Evripidou P., Najjar W. and Gaudiot J-L.
``A single-assignment language in a distributed memory multiprocessor"
in Parallel Architectures and Languages Europe, Springer-Verlag, 1989
Evripidou P. and Gaudiot J-L.
``A decoupled data-driven architecture with vectors and macro actors",
Proceedings of the VAPP-CONPAR '90 Joint Conference on Vector and Parallel
Processing, 1990.
P. Evripidou and J-L. Gaudiot.
``Distributed Input/Output processing in data-driven
multiprocessors.''
In Proc. of the Second IEEE Symposium on Parallel and
Distributed Processing, Dallas, Texas, December 1990.
Evripidou P. and Gaudiot J-L.
``A decoupled graph/computation data-driven architecture with variable
resolution actors",
Proceedings of the 1990 International Conference on Parallel Processing,
St Charles, Illinois, 1990.
Evripidou P. and Gaudiot J-L.
``Distributed Input/Output processing in data-driven multiprocessors"
Proceedings of the Second IEEE Symposium on Parallel and Distributed
Processing, Dallas, Texas, 1990.
P. Evripidou and J-L. Gaudiot.
``Input/Output operations for hybrid data-flow/control-flow
systems.''
In Proc. of the Fifth Int. Parallel Processing
Symposium, Anaheim, California, April 1991.
P. Evripidou and J-L. Gaudiot.
``Block scheduling of iteration algorithms and graph priority
scheduling in a simulated data-flow multiprocessor.''
IEEE Transactions on Parallel and Distributed Systems, April
1993.
Gaudiot J-L. and Kim C.H.
``A scheme to extract run-time parallelism from sequential loops",
Proceedings of the 1991 ACM International Conference on Supercomputing,
Köln, Germany, 1991.
J-L. Gaudiot and C.M. Lin.
``Performance measurements of linear systems solvers on data-driven
multiprocessor systems.''
In Proc. of Parallel Computing '91, London, United
Kingdom, September 1991.
Gaudiot J-L. and Lee L. T.
``Multiprocessor systems programming in a high-level data-flow language"
in Proceedings of the European Conference on Parallel Architectures and
Languages, Eindhoven, The Netherlands, 1987.
Gaudiot J-L. and Lee L. T.
``Occamflow: A methodology for programming multiprocessor systems",
Journal of Parallel and Distributed Computing, Academic Press, 1989.
J-L. Gaudiot and A. Sohn,
``Performance evaluation of the multiple root approach to the Rete Pattern
matcher for production systems",
Proceedings of the 1992 Fifth Generation Computer Systems Conference,
Tokyo, Japan, June 1992.
J-L. Gaudiot and A. Sohn,
``A survey on the state-of-the-art research in parallel processing of production systems",
International Journal on Artificial Intelligence Tools, March 1992.
J-L. Gaudiot and C. M. Lin,
``Performance measurements of linear systems solvers on data-driven
multiprocessor systems",
Proceedings of Parallel Computing '91,
London, United Kingdom, September 1991.
J-L. Gaudiot et D. K. Yoon,
``Occam",
in A Comparative Study of Parallel Programming Languages: The Salishan Problems,
North Holland, Amsterdam, The Netherlands,
John Feo, Ed., 1991.
J-L. Gaudiot and A. Sohn,
``A macro actor/token implementation of production systems on data-flow
multiprocessor",
Proceedings of the Twelfth International Joint Conference on Artificial
Intelligence, Sydney, Australia, August 1991.
J-L. Gaudiot, A. Sohn and Lee S.H.
``Data-driven multiprocessor implementation of the Rete match algorithm",
1988 International Conference on Parallel Processing, 1988.
Garsden H., Wendelborn A. L. ``A comparison of microtasking implementations of
the applicative language Sisal" in Proc. CONPAR 90 VAPP IV, LNCS 457,
Springer Verlag, Sept 1990.
Gentzen G. ``Investigation into Logical Deduction'' Thesis 1935,
reprinted in ``The collected papers of Gerhard Gentzen'',
E. Szabo, North-Holland, Amsterdam, 1969.
Gurd J.R., Kirkham C.C., Böhm A. P. W.
``The Manchester Dataflow Computing System"
Experimental Parallel Computing Architecture, North-Holland Amsterdam, 1987.
Hudak P., Peyton Jones S. L., Wadler P. L. (editors)
``Report on the programming language Haskell, a non-strict purely functional
language (version 1.2), SIGPLAN Notices, 27 (5), 1992.
Kajler N.,
``CAS/PI: a Portable and Extensible Interface for Computer Algebra Systems''
Conference Proceedings of ACM ISSAC'92, Berkeley, California, July 1992.
Kremer O. and Gaudiot J-L.
``An architecture for parallel matching in a Prolog programming environment",
Computer Systems Science and Engineering, 4 (1), 1989.
Lee C., Skedzielewski S., and Feo J.
``On the implementation of applicative languages on shared memory, MIMD
multi-processors", Sigplan Notices, volume 23 number 9, ACM Press 1988.
Leisure B. R. " The Parafrase Project's Fortran Analyser.
Major Module Documentation" Technical Report CSRD-504, University of
Illinois at Urbana Champaign.
Pingali K., Beck M., Johnson R., Moudgill M. &Stodghill P.
``Dependence Flow Graphs: An Algebraic Approach to Program
Dependencies" in Proceedings of the Eighteenth Annual ACM Symposium
on Principles of Programming Languages, January 1991, pp 67-78.
Prasad S., Giacalone A. &Mishra P. ``Operational and Algebraic
Semantics of Facile: A Symmetric Integration of Concurrent and
Functional Programming" in Proceedings of 17th International
Colloquium on Automata, Languages and Programming, Warwick University,
England, July 1990. Lecture Notes in Computer Science, Volume 443,
Springer-Verlag, pp 765-780.
Skedzielewski S. and Glauert J.
``IF1 - An intermediate form for applicative languages"
Manual M-170, Lawrence Livermore National Laboratory,
Livermore, Calif., July 1985.
Skedzielewski S. and Welcome M.
``Data-flow graph optimization in IF1"
Proc. of FPCA'85, LNCS 201, 1985
Manual M-170, Lawrence Livermore National Laboratory,
Livermore, Calif., July 1985.
A. Sohn and J.-L. Gaudiot.
``Data-driven production systems: A macro actor/token implementation.''
In Proc. of Int. Symp. on Intelligent Control, September 1990.
A. Sohn and J-L. Gaudiot.
``A macro actor/token implementation of production systems on a
data-flow multiprocessor.''
In Proc. of the Twelfth Int. Joint Conf. on
Artificial Intelligence, Sydney, Australia, August 1991.
A. Sohn and J-L. Gaudiot.
``Performance evaluation of the Multiple Root approach to the
Rete pattern matcher for production systems.''
In Proc. of the 1992 Fifth Generation Computer Systems
Conf., Tokyo, Japan, June 1992.
A. Sohn, J-L Gaudiot, and M. Guyot.
``Parallelism profile of an OPS5 production system interpreter.''
In Proc. of the Fourth Int. Conf. on
Software Engineering and Knowledge Engineering, Capri, Italy, June 1992.
Sohn A.
``A parallel implementation of the traveling salesman problem on a Sequent
Symmetry multiprocessor" in Proc. of the IFIP WG 10.3 Working Conference on
Architectures and Compilation Techniques for Fine and Medium grain paralellism,
Jan 1993.
Terrasse D.
``Translation From Typol to Coq"
in Proc. of the Technical Workshop BRA on ``Proving Properties of
Programming Languages", Sophia Antipolis, Sept. 1993.
Théry L., Bertot Y., Kahn G.
``Real Theorem Provers Deserve Real User-Interfaces"
Proceedings of the 5th ACM Conference on Software Development
Environments, Washington D. C., 1992.
Veen A. and van den Born R.
``Compiling C for the DTN data-flow computer",
in Jean-Luc Gaudiot and Lubomir Bic, editors,
Advanced Topics in Dataflow Computing, Prentice Hall, 1991.
Wei Y.H. and Gaudiot J-L.
``Compiling programs to direct access data-flow graphs",
Proceedings of the 1990 International Conference on Parallel Processing,
St Charles, Illinois, 1990.
Welcome M.L., Szymanski B.K., Yates R.K., Ranelletti J. E.
``An applicative language intermediate form explicit memory management"
Manual M-195, Lawrence Livermore National Laboratory,
Livermore, Calif., Nov. 1986.
Wendelborn A.L., Gardsen H., Irlam G., McDonald I., Smith G.
``The development and efficient execution of Sisal programs"
in Jean-Luc Gaudiot and Lubomir Bic, editors,
Advanced Topics in Dataflow Computing, Prentice Hall, 1991.
