Logic File System: Difference between revisions

Content deleted Content added
Yobot (talk | contribs)
m WP:CHECKWIKI error fixes (category with space) + general fixes using AWB (7796)
No edit summary
Line 3:
The actual name is the Logic Information Systems File System, and is abbreviated LISFS to avoid confusion with the [[log-structured file system]] (LFS). An implementation of the Logic File System is available at the LISFS website [http://lfs.irisa.fr].
 
It is intended to be used on Unix-like operating systems and is a bit difficult to install, as it needs several non-standard [[OCaml]] modules.
 
== References ==
 
* Ferré, Sébastian and Ridoux, Olivier (2000). "[http://www.irisa.fr/LIS/slides/dood2000.pdf A File System Based on Concept Analysis]."
 
* Padioleau, Yoann and Ridoux, Olivier (2003). "[http://www.usenix.org/events/usenix03/tech/padioleau.html A Logic File System]."
 
* Padioleau, Yoann and Ridoux, Olivier (2005). "[http://www.usenix.org/events/usenix05/tech/general/padioleau.html A Parts of File File System]."
 
== External links ==
* The Logical Information Systems [http://lfs.irisa.fr/ homepage] (broken).
* [http://padator.org/wiki/wiki-LFS/doku.php new_homepage]