To reference or cite the objects present in the Software Heritage archive, permalinks based on SoftWare Heritage persistent IDentifiers (SWHIDs) must be used instead of copying and pasting the url from the address bar of the browser (as there is no guarantee the current URI scheme will remain the same over time).
Select below a type of object currently browsed in order to display its associated SWHID and permalink.
hal: Deposit 174 in collection hal
LEGAL NOTICE Software: Caml Dim, version of february 1998, hereinafter referred to as "the software". The software has been designed and produced by Bruno Blanchet at the Ecole Normale Supérieure - 45 rue d'Ulm - 75005 PARIS - France, from Caml Light 0.74. It is distributed under the same license as Caml Light 0.74, which legal notice follows. --------------------------------------------------------------------- CAML LIGHT 0.74 LEGAL NOTICE Software: Caml Light, version 0.74 of November 1997, hereinafter referred to as "the software". The software has been designed and produced by Xavier Leroy, Damien Doligez, Francois Rouaix, Jerome Vouillon and Pierre Weis, research workers for the Institut National de Recherche en Informatique et en Automatique (INRIA) - Domaine de Voluceau - Rocquencourt - 78153 Le Chesnay Cedex - France. INRIA holds all ownership rights to Caml Light version 0.74. The software has been registered at Agence pour la Protection des Programmes (APP). Preamble: The software is currently being developed and INRIA desires that it be used by the scientific community so as to test, evaluate and develop it. To this end, INRIA has decided to have a prototype of the software distributed on the Internet. a- Extent of the rights granted by the INRIA to the user of the software: INRIA freely grants the right to use, modify and integrate the software in another software, provided that all derivative works are distributed under the conditions described in point b- below. b- Reproduction of the software: INRIA grants any user of the software the right to reproduce it so as to circulate it in accordance with the same purposes and conditions as those defined at point a- above. Any copy of the software and/or relevant documentation must comprise reference to the ownership of INRIA and the present file. The user undertakes to distribute the software either as unmodified source files, identical to those originally made public by INRIA, or as executable binaries obtained by compiling the original source files. Distribution of derivative works obtained by modifying the sofware or integrating it in another software is allowed only if the distribution consists of the unmodified, original source files for the software, along with difference files (patches) to be applied by the user of the derivative work. As regards any other type of distribution, the user undertakes to apply to obtain the express approval of INRIA. c- Guarantees: Please note that the software is a product currently being developed. INRIA shall not be responsible in any way concerning conformity, and in particular shall not be liable should the software not comply with the requirements of the user, INRIA not being obliged to repair any possible direct or indirect damage. d- Distribution of executable files generated by Caml Light: INRIA freely grants the right to distribute bytecode executable files generated by the Caml Light compiler (camlc). Binaries of the Caml Light run-time system (camlrun), with the sole condition that the documentation include the following statement: "This software includes the Caml Light run-time system, which is copyright 1991-1997, INRIA." Executable files that include the Caml Light interactive system (such as those generated by the camlmktop command) can also be distributed freely, with the sole condition that the distribution includes the following statement: "This software includes the Caml Light interactive system, which is copyright 1991-1997, INRIA."